Reynolds, J. (2000) “The Meaning of Types From Intrinsic to Extrinsic Semantics”, BRICS Report Series, 7(32). doi: 10.7146/brics.v7i32.20167.