Research
Real number computability, semantics of programming languages, lambda-calculus, game semantics, formal proofs.
Teaching (Didattica)
Ricevimento
- Orario di ricevimento: giovedì ore 14:30 - 16:00.
Per il ricevimento nei mesi di luglio e agosto è consigliabile prendere un appuntamento.
- office:
- 2nd floor, room 1, Stecca Nord,
- phone:
- +39 0432558480,
- fax:
- +39 0432558499,
- email:
- pietro.digianantonio at uniud dot it
- address:
-
Dipartimento di Scienze Matematiche, Informatiche e Fisiche
Università di Udine
Via delle Scienze, 206
33100 Udine - Italy
