Lambda calculus with constrained types (extended abstract (1985)

by V Breazu-Tannen, A R Meyer
Venue:LNCS 193: Proceedings of the Conference on Logics of Programs