Polymorphic Lambda Calculus: The Church-Rosser Property

George Koletsos. Polymorphic Lambda Calculus: The Church-Rosser Property. Theoretical Computer Science, 79(2):365-371, 1991.

No reviews for this publication, yet.