Emms, M. (1995) “An Undecidability Result for Polymorphic Lambek Calculus”, Proceedings of the Amsterdam Colloquium, pp. 223–242. Available at: https://platform.openjournals.nl/PAC/article/view/24631 (Accessed: 31 January 2026).