Machine Translation and Type Theory

TitleMachine Translation and Type Theory
Publication TypeSlide Presentation
AuthorsRanta, A
Place PublishedTYPES 2010 Conference, Warsaw
Year of Publication2010
Date Published10/2010
KeywordsMOLTO dissemination, WP2
Type of WorkInvited talk
URLhttp://types10.mimuw.edu.pl/content/slides/day2/AarneRanta.pdf