What do types mean? from intrinsic to extrinsic semantics. Pages 309–327 (2003)

by John C Reynolds
Venue:eds), Programming methodology. Monographs in Computer Science