Common Nouns as Types

DOI10.1007/978-3-642-31262-5_12zbMath1291.03059OpenAlexW2253364292MaRDI QIDQ4981255

Zhaohui Luo

Publication date: 24 June 2014

Published in: Logical Aspects of Computational Linguistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31262-5_12

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (7)

Propositional forms of judgemental interpretations ⋮ Algebraic effects for extensible dynamic semantics ⋮ Proof Assistants for Natural Language Semantics ⋮ Adjectival and adverbial modification: the view from modern type theories ⋮ Natural language inference in Coq ⋮ Gradability in MTT-Semantics ⋮ A computational treatment of anaphora and its algorithmic implementation

This page was built for publication: Common Nouns as Types