types (théorie des)
Jean-pierre Chanod et
Frédérique
Segond
Grammaire applicative : traitement informatique de la composante morpho-syntaxique
Applicative grammar: computerization of the morphosyntactic component
Frédérique Segond
Approches des grammaires catégorielles
Overview of categorical grammars
Paru dans :
n° 110, Été 1990
Aarne Ranta
Structures grammaticales dans le français mathématique : 1
Grammatical structure in mathematical french language : 1
Paru dans :
n° 138, Été 1997
[Texte intégral]
Aarne Ranta
Structures grammaticales dans le français mathématique : 2 (suite et fin)
Grammatical structure in mathematical french language: 2 (end)
Paru dans :
n° 139, Automne 1997
[Texte intégral]
Giuseppe Longo
Cercles vicieux, mathématiques et formalisations logiques
Vicious circles, mathematics and logic
Paru dans :
n° 152, Hiver 2000
[Texte intégral]
Michel Bourdeau et
Pascal
Boldini
Avant propos sur la théorie constructive des types
Foreword. Special issue: "Type theory"
[Texte intégral]
Aarne Ranta
Computational semantics in type theory
Sémantique computationnelle dans la théorie des types
[Texte intégral]
Anton Setzer
Proof Theory of Martin-Löf Type Theory. An overview
La théorie de la preuve de la théorie des types de Marin-Löf
[Texte intégral]
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
On ends and means. Constructive type theory as a guide for modeling in theory of mind and action
Paru dans :
n° 171, Automne 2005
[Texte intégral]
