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