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]
< Reduce
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Department of Philosophy
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Language
en
Article de revue
This item was published in
The Journal of Symbolic Logic. 2007, vol. 72, n° 1, p. 98--118
Association for Symbolic Logic
Origin
Hal imported