1. Cozzo C. (1994) Meaning and argument, a theory of meaning centred on immediate argumental role. Almqvist and Wiksell International, Stockholm
2. Cozzo C. (2008) On the Copernican turn in semantics. Theoria 74: 295–317
3. Heyting A. (1934) Mathematisch Grundlagenforschung, Intuitionismus, Beweistheorie. Springer, Berlin
4. Howard W. (1980) The formula-as-types notion of construction. In: Seldin J. (eds) To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism. Academic Press, London, pp 479–490
5. Martin-Löf P. (1984) Intuitionistic type theory. Bibliopolis, Napoli