Research

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

Teaching (Didattica)


Ricevimento
office:
2nd floor, room 1, Stecca Nord,
phone:
+39 0432558480,
fax:
+39 0432558499,
email:
pietro.digianantonio at uniud dot it
address:
Dipartimento di Matematica e Informatica
Università di Udine
Via delle Scienze, 206
33100 Udine - Italy