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