Thèmes – types (théorie des)

Editorial

Michel Bourdeau et Pascal Boldini

Avant propos sur la théorie constructive des types [Texte intégral]

Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004

Guido Lohrer

Fins et moyens. La théorie constructive des types considérée comme guide pour former des modèles en théorie de l'esprit et de l'action [Texte intégral]

Paru dans Mathématiques et sciences humaines, 171 | Automne 2005
Aarne Ranta

Computational semantics in type theory [Texte intégral]

Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004
Anton Setzer

Proof Theory of Martin-Löf Type Theory. An overview [Texte intégral]

Paru dans Mathématiques et sciences humaines, 165 | Printemps 2004
Giuseppe Longo

Cercles vicieux, mathématiques et formalisations logiques [Texte intégral]

Paru dans Mathématiques et sciences humaines, 152 | Hiver 2000
Aarne Ranta

Structures grammaticales dans le français mathématique : 2 (suite et fin) [Texte intégral]

Paru dans Mathématiques et sciences humaines, 139 | Automne 1997
Aarne Ranta

Structures grammaticales dans le français mathématique : 1 [Texte intégral]

Paru dans Mathématiques et sciences humaines, 138 | Été 1997