On Type Coercion in Compositional and Lexical Semantics

DOI10.1007/978-3-642-23211-4_7zbMath1347.91223OpenAlexW117688195MaRDI QIDQ3172833

Carl Vikner, Per Anker Jensen

Publication date: 7 October 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23211-4_7

zbMATH Keywords

formal semanticshigher-order lambda calculusgenerative lexiconsemantic typesgenitive constructionsontological subtypessubtype coercion

Mathematics Subject Classification ID

Logic of natural languages (03B65) Linguistics (91F20) Combinatory logic and lambda calculus (03B40)

Cites Work

• The Logic of Typed Feature Structures
• Unnamed Item

This page was built for publication: On Type Coercion in Compositional and Lexical Semantics