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 proceeding › Chapter (peer-reviewed)
Published
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) |
| DOIs | |
| Publication status | Published - 2014 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 23230622