%0 Conference Proceedings %T Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond %A Chatzikyriakidis, Stergios %A Luo, Zhaohui %Y Cooper, Robin %Y Dobnik, Simon %Y Lappin, Shalom %Y Larsson, Staffan %S Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS) %D 2014 %8 April %I Association for Computational Linguistics %C Gothenburg, Sweden %F chatzikyriakidis-luo-2014-natural %R 10.3115/v1/W14-1405 %U https://aclanthology.org/W14-1405 %U https://doi.org/10.3115/v1/W14-1405 %P 37-45