REYNOLDS, J. The Meaning of Types From Intrinsic to Extrinsic Semantics. BRICS Report Series, v. 7, n. 32, 2 Jun. 2000.