Research facility · founded 1999
Laboratory Preuves, Programmes et Systèmes
Paris, France · pps.univ-paris-diderot.fr/en
- Citations, last 5 years
- 73
- Works, last 5 years
- 5
- h-index
- 54
- Scientists listed
- 0
- Grants since 2016
- 1
Grants received
2016 · research · AAPG2015
The fine structure of formal proof systems and their computational interpretations
Michel Parigot · Laboratory Preuves, Programmes et Systèmes · funded by Agence Nationale de la Recherche
