Publications

Filters: First Letter Of Keyword is I  [Clear All Filters]
A B C D E F G H [I] J K L M N O P Q R S T U V W X Y Z   [Show ALL]
IDE
Interlingua
Ranta A. Machine translation and type theory. In: Dybjer P, Palmgren E, Lindström S, Sundholm G, eds. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Vol 27. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.; 2012:281-311. Available at: http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14.Array Download: final-mttt.pdf (591.34 KB)
introduction to MOLTO
Ranta A. MOLTO: Multilingual Online Translation. Monnet-MOLTO Meeting, Utrecht, 19 September 2012. 2012.Array Download: utrecht-molto-2012.pdf (667.58 KB)