An Undecidability Result for Polymorphic Lambek Calculus

Authors

  • Martin Emms C.I.S. München Author

Abstract

-

Downloads

Download data is not yet available.

Published

1995-12-01

Issue

1995: Proceedings of the 10th Amsterdam Colloquium

Section

Conference Proceedings

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

Emms, M. (1995). An Undecidability Result for Polymorphic Lambek Calculus. Proceedings of the Amsterdam Colloquium, 223-242. https://platform.openjournals.nl/PAC/article/view/24631