Professor TANTER Eric


Team : Whisper
Invited by : Pierre-Evariste DAGAND
Arrival date : 12/01/2017
Departure date : 12/15/2017

Research activity

Théorie des types dépendants et gradualisés