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