Towards a theory of type structure (1974)

by J C Reynolds
Venue:In Paris Colloq. on Programming