J. C. Reynolds, “The Meaning of Types From Intrinsic to Extrinsic Semantics”, BRICS, vol. 7, no. 32, Jun. 2000.