Lambda calculus with constrained types (1985)

by V Breazu-Tannen, A Meyer
Venue:Logics of Programs