The Philosopher
Christine Paulin-Mohring
The face
The background
- Nationality:
- French
- Branchs:
- Mathematics, Computer Science, Mathematical logic
- Period:
- 21st century
The synopsis
The works
Lecture Notes in Computer Science. Types for Proofs and Programs
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, 15–18 December 2004, Revised Selected Papers
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, 22–26 July 2013, Proceedings