EMMS, Martin. An Undecidability Result for Polymorphic Lambek Calculus. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 223–242, 1995. Disponível em: https://platform.openjournals.nl/PAC/article/view/24631.. Acesso em: 5 dec. 2025.