Recursive Types and Type Constraints in Second-Order Lambda Calculus, by Nax P. Mendler

Recursive Types and Type Constraints in Second-Order Lambda Calculus

by Nax P. Mendler

Proceedings of Second IEEE Symposium on Logic in Computer Science, pp. 30-36, 1987.

Sorry, there are no downloadable files available for this document at this time.