Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond Stergios Chatzikyriakidis author Zhaohui Luo author 2014-04 text Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) Robin Cooper editor Simon Dobnik editor Shalom Lappin editor Staffan Larsson editor Association for Computational Linguistics Gothenburg, Sweden conference publication chatzikyriakidis-luo-2014-natural 10.3115/v1/W14-1405 https://aclanthology.org/W14-1405/ 2014-04 37 45