1.
Reynolds J. The Meaning of Types From Intrinsic to Extrinsic Semantics. BRICS [Internet]. 2000Jun.2 [cited 2019Dec.10];7(32). Available from: https://tidsskrift.dk/brics/article/view/20167