Machine Translation and Type Theory

Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 27)


This paper gives an introduction to automatic translation via examples from the history of the field, where statistical and grammar-based methods alternate. Grammatical Frameword (GF) is introduced as an approach that uses type theory to provide high-quality translation between multiple languages. GF translation is fundamentally grammar-based but can be combined with statistical methods such as learning translation models from a corpus and ranking translation candidates by probabilities.


  1. Ajdukiewicz, K. 1935. Die syntaktische konnexität. Studia Philosophica1: 1–27.Google Scholar
  2. Alshawi, H. 1992. The core language engine. Cambridge: MIT.Google Scholar
  3. Angelov, K. 2009. Incremental parsing with parallel multiple context-free grammars. In Proceedings of EACL’09, Athens.Google Scholar
  4. Angelov, K., and R. Enache. 2010. Typeful ontologies with direct multilingual verbalization. In CNL 2010, Controlled natural language, Marettimo Island, ed. N. Fuchs and M. Rosner. New Brunswick: ACL.Google Scholar
  5. Angelov, K., O. Caprotti, R. Enache, T. Hallgren, I. Listenmaa, A. Ranta, J. Saludes, and A. Slaski 2010, 06/2010. D10.2 molto web service, first version.  (D10.2).Google Scholar
  6. Appel, A. 1998. Modern compiler implementation in ML. Cambridge/New York: Cambridge University Press.Google Scholar
  7. Bar-Hillel, Y. 1953. A quasi-arithmetical notation for syntactic description. Language29: 27–58.CrossRefGoogle Scholar
  8. Bar-Hillel, Y. 1964. Language and information. Reading: Addison-Wesley.Google Scholar
  9. Bringert, B., R. Cooper, P. Ljunglöf, and A. Ranta. 2005. Multimodal dialogue system grammars. In Proceedings of DIALOR’05, ninth workshop on the semantics and pragmatics of dialogue, Nancy, 53–60.Google Scholar
  10. Brown, P.F., J. Cocke, S.A.D. Pietra, V.J.D. Pietra, F. Jelinek, J.D. Lafferty, R.L. Mercer, and P.S. Roossin. 1990. A statistical approach to machine translation. Computational Linguistics16(2): 76–85.Google Scholar
  11. Burke, D.A., and K. Johannisson. 2005. Translating formal software specifications to natural language/a grammar-based approach. In Logical Aspects of Computational Linguistics (LACL 2005), Lecture notes in computer science/Lecture notes in artificial intelligence, vol. 3492, ed. P. Blache, E. Stabler, and J. Busquets, R. Moot, 51–66. Berlin/New York: Springer.
  12. Caprotti, O. 2006. WebALT! Deliver mathematics everywhere. In Proceedings of SITE 2006, Orlando March 20–24. Scholar
  13. Chandioux, J. 1976. MÉTÉO: un système opérationnel pour la traduction automatique des bulletins météreologiques destinés au grand public. META21: 127–133.CrossRefGoogle Scholar
  14. Curry, H.B. 1961. Some logical aspects of grammatical structure. In Structure of language and its mathematical aspects: Proceedings of the twelfth symposium in applied mathematics, ed. R. Jakobson, 56–68. Providence: American Mathematical Society.Google Scholar
  15. Donzeau-Gouge, V., G. Huet, G. Kahn, B. Lang, and J. J. Levy. 1975. A structure-oriented program editor: A first step towards computer assisted programming. In International computing symposium (ICS’75). Hsinchu: Nat Chiao Tung University.Google Scholar
  16. Dowek, G., A. Felty, H. Herbelin, G. Huet, C. Parent, C. Paulin Mohring, B. Werner, and C. Murthy. 1993. The Coq proof assistant user’s guide: version 5.8. Research Report RT-0154, INRIA.Google Scholar
  17. Dymetman, M., V. Lux, and A. Ranta. 2000. XML and multilingual document authoring: Convergent trends. In Proceedings of the computational linguistics COLING, Saarbrücken, 243–249. International Committee on Computational Linguistics.Google Scholar
  18. Hallgren, T., and A. Ranta. 2000. An extensible proof text editor. In LPAR-2000, Lecture notes in computer science/Lecture notes in artificial intelligence, vol. 1955, ed. M. Parigot and A. Voronkov pp. 70–84. Berlin: Springer.
  19. Harper, R., F. Honsell, and G. Plotkin. 1993. A Framework for defining logics. Journal of the Association for Computing Machinery40(1): 143–184.CrossRefGoogle Scholar
  20. Hutchins, W.J., and H.L. Somers. 1992. An introduction to machine translation. London: Academic.Google Scholar
  21. Jelinek, F. 2009. The dawn of statistical ASR and MT. Computational Linguistics35(4): 483–494.CrossRefGoogle Scholar
  22. Johannisson, K. 2005. Formal and informal software specifications. Ph.D. thesis, Department of Computing Science, Chalmers University of Technology and Gothenburg University.Google Scholar
  23. Jonson, R. 2006. Generating statistical language models from interpretation grammars in dialogue system. In Proceedings of EACL06, Trento.Google Scholar
  24. Kay, M. 1997. The proper place of men and machines in language translation. Machine Translation12(1–2): 3–23.CrossRefGoogle Scholar
  25. Khegai, J., B. Nordström, and A. Ranta. 2003. Multilingual syntax editing in GF. In Intelligent text processing and computational linguistics (CICLing-2003), Mexico City, February 2003, Lecture notes in computer science, vol. 2588, ed. A. Gelbukh, 453–464. Springer.
  26. Knuth, D. 1968. Semantics of context-free languages. Mathematical Systems Theory2: 127–145.CrossRefGoogle Scholar
  27. Koehn, P., and H. Hoang. 2007. Factored translation models. In EMNLP-CoNLL, Prague, 868–876. ACL.Google Scholar
  28. Ljunglöf, P. 2004. The expressivity and complexity of grammatical framework. Ph.D. thesis, Department of Computing Science, Chalmers University of Technology and Gothenburg University. Scholar
  29. Ljunglöf, P., G. Amores, R. Cooper, D. Hjelm, O. Lemon, P. Manchón, G. Pérez, and A. Ranta. 2006. Multimodal grammar library. TALK. Talk and Look: Tools for Ambient Linguistic Knowledge. IST-507802. Deliverable 1.2b. Scholar
  30. Lopez, A. 2008. Statistical machine translation. ACM Computing Surveys40(3): 1–49.CrossRefGoogle Scholar
  31. Luo, Z., and P. Callaghan (1999). Mathematical vernacular and conceptual well-formedness in mathematical language. In Logical aspects of computational linguistics (LACL), Nancy, Lecture notes in computer science/Lecture notes in artificial intelligence, vol. 1582, ed. A. Lecomte, F. Lamarche, and G. Perrier, 231–250.Google Scholar
  32. Luo, Z., and R. Pollack. 1992. LEGO proof development system. Technical report, University of Edinburgh.Google Scholar
  33. Magnusson, L. 1994. The implementation of ALF – A proof editor based on Martin-Löf’s monomorphic type theory with explicit substitution. Ph.D. thesis, Department of Computing Science, Chalmers University of Technology and University of Göteborg.Google Scholar
  34. Martin-Löf, P. 1984. Intuitionistic type theory. Napoli: Bibliopolis.Google Scholar
  35. Montague, R. 1974. Formal philosophy. New Haven: Yale University Press. Collected papers edited by Richmond Thomason.Google Scholar
  36. Nordström, B., K. Petersson, and J. Smith. 1990. Programming in Martin-Löf’s type theory: An introduction. Oxford: Clarendon Press.Google Scholar
  37. Norell, U. 2007. Towards a practical programming language based on dependent type theory. Ph.D. thesis, Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden.Google Scholar
  38. Och, F.J., and H. Ney, 2004. The alignment template approach to statistical machine translation. Computational Linguistics30(4): 417–449.CrossRefGoogle Scholar
  39. Papineni, K., S. Roukos, T. Ward, and W.-J. Zhu. 2002. BLEU: A method for automatic evaluation of machine translation. In ACL, Philadelphia, 311–318.Google Scholar
  40. Perera, N., and A. Ranta (2007). Dialogue system localization with the GF resource grammar library. In SPEECHGRAM 2007: ACL workshop on grammar-based approaches to spoken language processing, June 29, 2007, Prague.
  41. Pierce, J.R., and J. B. Carroll et al. 1966. Language and machines – Computers in translation and linguistics. ALPAC report.Google Scholar
  42. Power, R., and D. Scott (1998). Multilingual authoring using feedback texts. In COLING-ACL 98, Montreal.Google Scholar
  43. Ranta, A. 1994. Type theoretical grammar. Oxford: Oxford University Press.Google Scholar
  44. Ranta, A. 2004. Grammatical framework: A type-theoretical grammar formalism. The Journal of Functional Programming14(2): 145–189. Scholar
  45. Ranta, A. 2007. Modular grammar engineering in GF. Research on Language and Computation5: 133–158.
  46. Ranta, A. 2009a. Grammars as software libraries. In From semantics to computer science. Essays in honour of Gilles Kahn, ed. Y. Bertot, G. Huet, J.-J. Lévy, and G. Plotkin, 281–308. Cambridge/New York: Cambridge University Press.
  47. Ranta, A. 2009b. The GF resource grammar library. Linguistics in Language Technology 2.
  48. Ranta, A. 2011. Grammatical framework: Programming with multilingual grammars. Stanford: CSLI Publications. ISBN-10: 1-57586-626-9 (Paper), 1-57586-627-7 (Cloth).Google Scholar
  49. Rayner, M., P. Estrella, and P. Bouillon. 2011. Bootstrapping a statistical speech translator from a rule-based one. In Proceedings of the second international workshop on free/open-source rule-based machine translation, Barcelona.
  50. Rosetta, M.T. 1994. Compositional translation. Dordrecht: Kluwer.Google Scholar
  51. Shannon, C. 1948. A mathematical theory of communication. The Bell System Technical Journal27(1): 379–423, 623–656.Google Scholar
  52. Stallman, R. 2001. Using and porting the GNU compiler collection. Cambridge: Free Software Foundation.Google Scholar
  53. Teitelbaum, T., and T. Reps. 1981. The Cornell Program Synthesizer: A syntax-directed programming environment. Communications of the ACM24(9): 563–573.CrossRefGoogle Scholar
  54. Tyers, F., and J. Nordfalk. 2009. Shallow-transfer rule-based machine translation for Swedish to Danish. In Proceedings of the first international workshop on free/open-source rule-based machine translation, Alicante.
  55. Welsh, J., B. Broom, and D. Kiong. 1991. A design rationale for a language-based editor. Software: Practice and Experience21: 923–948.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht. 2012

Authors and Affiliations

  1. 1.Department of Computer Science and EngineeringChalmers University of Technology and University of GothenburgGothenburgSweden

Personalised recommendations