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]
< Leer menos
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Department of Philosophy
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Idioma
en
Article de revue
Este ítem está publicado en
The Journal of Symbolic Logic. 2007, vol. 72, n° 1, p. 98--118
Association for Symbolic Logic
Orígen
Importado de HalCentros de investigación