Thèmes – ensembles (théorie des)
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
-
Paru dans Mathématiques et sciences humaines, 164 | Hiver 2003
-
Cercles vicieux, mathématiques et formalisations logiques [Texte intégral]Paru dans Mathématiques et sciences humaines, 152 | Hiver 2000