A Proof-Theoretic Semantics for Transitive Verbs with an Implicit Object Nissim Francez author 2017-07 text Proceedings of the 15th Meeting on the Mathematics of Language Makoto Kanazawa editor Philippe de Groote editor Mehrnoosh Sadrzadeh editor Association for Computational Linguistics London, UK conference publication francez-2017-proof 10.18653/v1/W17-3406 https://aclanthology.org/W17-3406/ 2017-07 59 67