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

by N P Mendler
Venue:In: Proceedings of the Second Annual IEEE Symposium on Logic in Computer Science