| LM2 - Logica matematica 2, tipi e logica lineare |
| (Insegnamento mutuato dalla Facoltà di Lettere e Filosofia) |
| Prof. Lorenzo Tortora de Falco |
| DM, Stanza 300 tel. 06 5488 8223 |
| e-mail: tortora@uniroma3.it |
| Il lambda-calcolo tipato e la corrispondenza Curry-HowardSistema TSistema F e aritmetica funzionale del secondo ordineLogica Lineare |
| II Semestre Crediti: 6 Prerequisiti: LM1 |
| Insegnamento valido per la PFA |
| Programma esteso: [Versioni disponibili: PDF] |