The Formal Consequences of Using Variables in CCG Categories Beryl Hoffman author 1993-06 text 31st Annual Meeting of the Association for Computational Linguistics Association for Computational Linguistics Columbus, Ohio, USA conference publication hoffman-1993-formal 10.3115/981574.981620 https://aclanthology.org/P93-1045/ 1993-06 298 300