Mots-clés – théorie des ensembles de Kripke Platek
Article
-
Proof Theory of Martin-Löf Type Theory. An overview [Texte intégral]Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004
Mathematics and social sciences