The meaning of types — from intrinsic to extrinsic semantics (2000)

by J C Reynolds
Venue:Department of Computer Science, University of Aarhus