Natural Language Reasoning Using Proof-assistant Technology : Rich Typing and Beyond. / Chatzikyriakidis, Stergios; Luo, Zhaohui.

Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS). 2014.

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

Published
Original languageEnglish
Title of host publicationProceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
DOIs
Publication statusPublished - 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 23230622