Kohlhase M, Kuschert S, Pinkal M. A type-theoretic semantics for lambda-DRT. Proceedings of the AC [Internet]. 1995 Dec. 1 [cited 2025 Dec. 5];:479-98. Available from: https://platform.openjournals.nl/PAC/article/view/24652