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 (pp. 281-311). Dordrecht: Springer.
(1988). Propositions as games as types. Synthese, 76 (3), 377-395. https://doi.org/10.1007/BF00869607.