KOHLHASE, Michael; KUSCHERT, Susanna; PINKAL, Manfred. A type-theoretic semantics for lambda-DRT. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 479–498, 1995. Disponível em: https://platform.openjournals.nl/PAC/article/view/24652.. Acesso em: 19 apr. 2026.