http://www.molto-project.eu/category/208/all 英语 http://www.molto-project.eu/biblio/book-chapter/machine-translation-and-type-theory 兰塔a</a></span><span class=“biblio-title”><a href=“/biblio/book-chapter/machine-translation-and-type-theory”target=“_blank”>机器翻译和类型理论。在：Dybjer P，Palmgren E，Lindström S/span><span style=“font-style:italic；”>认识论与本体论。佩尔·马丁·洛夫的哲学和数学基础论文。第27卷。认识论与本体论。佩尔·马丁·Löf.关于数学哲学和基础的论文。；2012:281-311. 网址：<a href=“http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14">http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14</a><span class=“Z3988”title=“ctx_ver=Z39.88-2004&amp；rft_val_fmt=info%3Aufi%2Fmt%3Kev%3Amtx%3Book&amp！rft.atitle=Machine+translation+and+type+theory&amp；rft.btitle=认识论+对+本体论+论文+关于+哲学+和+基础+数学+荣誉+Per+Martin-L%C3%B6f&amp；rft.series=逻辑%2C+认识论%2C+和+统一+科学+&amp；rft.isbn=+isbn%3A+978-94-007-4434-9+%28打印%29+978-94-007-4435-6+%28在线%29&amp；rft.date=2012&amp；rft.volume=27&amp；rft.spage=281&amp；rft.epage=311&amp；rft.aulast=&amp；rft.aufirst=&amp；rft.pub=Springer+Verlag“></span> http://www.molto-project.eu/biblio/book-chapter/machine-translation-and-type-theory评论 中间语 2013年6月6日星期四07:12:52+0000 阿恩·兰塔 2116处http://www.molto-project.eu