| Title | Machine translation and type theory |
| Publication Type | Book Chapter |
| Year of Publication | 2012 |
| Authors | Ranta, A |
| Editor | Dybjer, P, Palmgren, E, Lindström, S, Sundholm, G |
| Book Title | Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf |
| Series Title | Logic, Epistemology, and the Unity of Science |
| Volume | 27 |
| Pagination | 281-311 |
| Date Published | 2012 |
| Publisher | Springer Verlag |
| ISBN Number | ISBN: 978-94-007-4434-9 (Print) 978-94-007-4435-6 (Online) |
| Keywords | Interlingua |
| URL | http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14 |
| Refereed Designation | Refereed |
