Towards a theory of type structure. Programming symposium (1974)

by John C Reynolds
Venue:Lecture Notes in Computer Science