Kohlhase, M.; Kuschert, S.; Pinkal, M. A Type-Theoretic Semantics for Lambda-DRT. Proceedings of the AC 1995, 479-498. https://doi.org/10.53437/5xvtfp02.