Contact
Privacy
DMCA
Robuta
https://aclanthology.org/W17-3406/
A Proof-Theoretic Semantics for Transitive Verbs with an Implicit Object - ACL Anthology
Nissim Francez. Proceedings of the 15th Meeting on the Mathematics of Language. 2017.
proof theoretic semantics