Machine translation and type theory

TitleMachine translation and type theory
Publication TypeBook Chapter
Year of Publication2012
AuthorsRanta, A
EditorDybjer, P, Palmgren, E, Lindström, S, Sundholm, G
Book TitleEpistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Series TitleLogic, Epistemology, and the Unity of Science
Volume27
Pagination281-311
Date Published2012
PublisherSpringer Verlag
ISBN Number ISBN: 978-94-007-4434-9 (Print) 978-94-007-4435-6 (Online)
KeywordsInterlingua
URLhttp://link.springer.com/chapter/10.1007/978-94-007-4435-6_14
Refereed DesignationRefereed
AttachmentSize
final-mttt.pdf591.34 KB