Kohlhase, M., Kuschert, S. and Pinkal, M. (1995) “A type-theoretic semantics for lambda-DRT”, Proceedings of the Amsterdam Colloquium, pp. 479–498. Available at: https://platform.openjournals.nl/PAC/article/view/24652 (Accessed: 31 January 2026).