Kohlhase, M., Kuschert, S., & Pinkal, M. (1995). A type-theoretic semantics for lambda-DRT. Proceedings of the Amsterdam Colloquium, 479-498. https://platform.openjournals.nl/PAC/article/view/24652