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) › peer-review
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 |
ID: 23230622