Research

Real number computability, semantics of programming languages, lambda-calculus, game semantics, formal proofs.

Teaching (Didattica)

Ricevimento

Contatti

Ufficio:
2° piano, A2 117
Telefono:
+39 0432 558480
Fax:
+39 0432 558499
Email:
pietro.digianantonio at uniud dot it
Indirizzo:
Dipartimento di Scienze Matematiche, Informatiche e Fisiche
Università di Udine
Via delle Scienze, 206
33100 Udine - Italy