Recursive types and type constraints in second-order lambda calculus (1987)

by P F Mendler
Venue:Proceedings of the 2 nd IEEE Symposium on Logic in Computer Science