Michael Kohlhase,
Susanna Kuschert and
Manfred Pinkal. A Type-Theoretic Semantics for Lambda-DRT. In
Paul Dekker and
Martin Stokhof editors, 10th Amsterdam Colloquium, Pages 479-498, De Gruyter, Amsterdam, The Netherlands, 1996.
@InProceedings{Kohlhase_et_al:1996,
AUTHOR = {Kohlhase, Michael and Kuschert, Susanna and Pinkal, Manfred},
TITLE = {A Type-Theoretic Semantics for Lambda-DRT},
YEAR = {1996},
BOOKTITLE = {10th Amsterdam Colloquium},
PAGES = {479-498},
EDITOR = {Dekker, Paul and Stokhof, Martin},
ADDRESS = {Amsterdam, The Netherlands},
PUBLISHER = {De Gruyter}
}
|
