Towards a theory of type structure. Programming Symp. Paris (0)

by J C Reynolds
Venue:Springer-Verlag Lecture Notes in Computer Science