Journal | Contributors | Profile

(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.

(1988). Propositions as games as types. Synthese 76 (3), pp. 377-395.