Journal | Contributors | Profile
References
Aarne Ranta
(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.