Mots-clés – théorie des ensembles
Article
-
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques [Texte intégral]Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004
-
Proof Theory of Martin-Löf Type Theory. An overview [Texte intégral]Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004