Reynolds, J. C. The Meaning of Types From Intrinsic to Extrinsic Semantics. BRICS 2000, 7.