Computational semantics in type theory

This paper aims to show how Montague-style grammars can be completely formalized and thereby declaratively implemented by using the Grammatical Framework GF. The implementation covers the fundamental operations of Montague’s PTQ model: the construction of analysis trees, the linearization of trees i...

ver descrição completa

Detalhes bibliográficos

Autor principal:	Ranta, Aarne
Formato:	Artigo
Idioma:	Inglês
Publicado em:	Centre d’analyse et de mathématique sociales de l’EHESS 2004
Assuntos:	théorie des types sémantique logique grammaire de Montague type theory logical semantics montague grammar
Acesso em linha:	https://doi.org/10.4000/msh.2925 https://hdl.handle.net/20.500.13089/igis https://journals.openedition.org/msh/2925
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!