Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories
From MaRDI portal
Publication:4981275
DOI10.1007/978-3-662-43742-1_11zbMath1291.03058OpenAlexW178671404MaRDI QIDQ4981275
Georgiana E. Lungu, 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-662-43742-1_11
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories
