Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. / Lungu, Georgiana; Luo, Zhaohui.

Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. ed. / Nicholas Asher; Sergei Soloviev. Springer, 2014. p. 138-148 (Lecture Notes in Computer Science; Vol. 8535).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Published
Original languageEnglish
Title of host publicationLogical Aspects of Computational Linguistics
Subtitle of host publication8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings
EditorsNicholas Asher, Sergei Soloviev
PublisherSpringer
Pages138-148
Number of pages11
ISBN (Electronic)978-3-662-43742-1
ISBN (Print)978-3-662-43741-4
DOIs
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
Volume8535
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 23230603