Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories

Georgiana Lungu, Zhaohui Luo

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

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

Cite this