Mots-clés – théorie des types
Editorial
-
Avant propos sur la théorie constructive des types [Texte intégral]Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004
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
-
Computational semantics in type theory [Texte intégral]Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004