Computational semantics in type theory

MaRDI QIDQ5438967zbMATH OpenFDO

Authors Aarne Ranta

Publication date 8 February 2008

zbMATH Keywords

logical semanticsMontague grammartype theory

Mathematics Subject Classification ID

Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 3867295
• Grammatical Framework
• The Montagovian generative lexicon Ty_n: a type theoretical framework for natural language semantics
• scientific article; zbMATH DE number 3885879
• scientific article; zbMATH DE number 1129259

Cited in

(14)

• Computations on types
• Search algorithms in type theory
• The Montagovian generative lexicon Ty_n: a type theoretical framework for natural language semantics
• Records and Record Types in Semantic Theory
• scientific article; zbMATH DE number 431759 (Why is no real title available?)
• scientific article; zbMATH DE number 3867295 (Why is no real title available?)
• scientific article; zbMATH DE number 1927416 (Why is no real title available?)
• Grammatical Framework
• scientific article; zbMATH DE number 2110617 (Why is no real title available?)
• Monotonicity reasoning in formal semantics based on modern type theories
• Dependently-typed Montague semantics in the proof assistant Agda-flat
• Formalizing the IMA language: toward the minimalist program for compositional semantics
• Machine Translation and Type Theory
• Deriving formal semantic representations from dependency structures

Describes a project that uses

Uses Software

• GF

This page was built for publication: Computational semantics in type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5438967)