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)peer-review

Published

Standard

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)peer-review

Harvard

Lungu, G & Luo, Z 2014, Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. in N Asher & S Soloviev (eds), Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8535, Springer, pp. 138-148. https://doi.org/10.1007/978-3-662-43742-1_11

APA

Lungu, G., & Luo, Z. (2014). Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. In N. Asher, & S. Soloviev (Eds.), Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings (pp. 138-148). (Lecture Notes in Computer Science; Vol. 8535). Springer. https://doi.org/10.1007/978-3-662-43742-1_11

Vancouver

Lungu G, Luo Z. Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. In Asher N, Soloviev S, editors, Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. Springer. 2014. p. 138-148. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-662-43742-1_11

Author

Lungu, Georgiana ; Luo, Zhaohui. / Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. editor / Nicholas Asher ; Sergei Soloviev. Springer, 2014. pp. 138-148 (Lecture Notes in Computer Science).

BibTeX

@inbook{170f31367eb14f20b5662a95098729b2,
title = "Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories",
author = "Georgiana Lungu and Zhaohui Luo",
year = "2014",
doi = "10.1007/978-3-662-43742-1_11",
language = "English",
isbn = "978-3-662-43741-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "138--148",
editor = "Asher, {Nicholas } and Soloviev, {Sergei }",
booktitle = "Logical Aspects of Computational Linguistics",

}

RIS

TY - CHAP

T1 - Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories

AU - Lungu, Georgiana

AU - Luo, Zhaohui

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-662-43742-1_11

DO - 10.1007/978-3-662-43742-1_11

M3 - Chapter (peer-reviewed)

SN - 978-3-662-43741-4

T3 - Lecture Notes in Computer Science

SP - 138

EP - 148

BT - Logical Aspects of Computational Linguistics

A2 - Asher, Nicholas

A2 - Soloviev, Sergei

PB - Springer

ER -