| Docente: | Thomas Ehrard
|
||
| Inizio: | 10/04/2006
|
||
| Fine: | 18/04/2006
|
||
| Dove: | Aula 15 - Facoltà di Lettere e Filosofia - Università Roma Tre
|
||
|
Descrizione
Lezioni di dottorato tenute da Thomas Ehrhard (Equipe Preuves, Programmes et Systèmes - CNRS UMR 7126 - Paris) all'interno del programma: Rete italo-francese di ricerca in logica e geometria del calcolo. |
|||
Lezioni: