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