Machine Translation using Type Theory and Functional Programming
ramona.enache
Multilingual Online Translation