Skip to main content
PRL Project

Recursive Types and Type Constraints in Second-Order Lambda Calculus

by Nax P. Mendler
1987

Proceedings of Second IEEE Symposium on Logic in Computer Science

bibTex ref: Men87


cite link