Foto del docente

Andrea Condoluci

Dottorando

Dipartimento di Informatica - Scienza e Ingegneria

Tutor didattico

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Temi di ricerca

Parole chiave: teoria dei tipi dimostratori di teoremi interattivi calcolo lambda

Ultimi avvisi

Al momento non sono presenti avvisi.