 |
 |
Doctorant
Université Paris-Saclay
Toccata
Tel : 0172925995
Fax : +33 1 74 85 42 29
Office :
Personal web page : http://mattam.org
Email : sozeau@lri.fr |
Research activities - Program proof - Functional programming - Type Theory - Higher-Order Languages
Publications
Joint Inria project teams - Toccata
Software & Patents - Program: Program : Programming with Dependent Types in Coq
Ph.D. dissertations & Faculty habilitations Ph.D - An Environment for Programming with Dependent Types
|