Reynolds, John C.

• BRICS Report Series No. 32 (2000): RS-32 The Meaning of Types From Intrinsic to Extrinsic Semantics - Articles
  The Meaning of Types From Intrinsic to Extrinsic Semantics
  Abstract  PDF