Conjunctive Types and Algol-like Languages (Abstract of Invited Lecture (1987)

by J C Reynolds
Venue:in: Proceedings Symposium on Logic in Computer Science