, 2012, Machine translation and type theory, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 281-311.
, 1988a, 'Propositions as games as types', Synthese 76 (3), 377-395.