Intensional Models for the Theory of Types
MUSKENS, Reinhard
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Department of Philosophy
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Department of Philosophy
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
MUSKENS, Reinhard
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Department of Philosophy
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
< Réduire
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Department of Philosophy
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Langue
en
Article de revue
Ce document a été publié dans
The Journal of Symbolic Logic. 2007, vol. 72, n° 1, p. 98--118
Association for Symbolic Logic
Origine
Importé de halUnités de recherche