@inproceedings{max-1988-new,
title = "A new formal tool: Functorial variables representing assertions and presuppositions",
author = "Max, Ingolf",
booktitle = "{C}oling {B}udapest 1988 Volume 1: {I}nternational {C}onference on {C}omputational {L}inguistics",
year = "1988",
url = "https://preview.aclanthology.org/6589-fix-bug-reordering-bulk-corrections-from-2025-11-14/C88-1083/"
}Markdown (Informal)
[A new formal tool: Functorial variables representing assertions and presuppositions](https://preview.aclanthology.org/6589-fix-bug-reordering-bulk-corrections-from-2025-11-14/C88-1083/) (Max, COLING 1988)
ACL