阿恩·兰塔 机器翻译和类型理论。 （英语） Zbl 1314.68340号 彼得·戴布杰尔（编辑）等人，《认识论与本体论》。关于数学的哲学和基础的论文，以纪念Per Martin-Löf。基于2009年5月5日至8日在瑞典乌普萨拉举行的“数学的哲学和基础：认识论和本体论方面”会议。多德雷赫特：施普林格（ISBN 978-94-007-4434-9/hbk；978-94-07-4435-6/电子书）。《逻辑、认识论和科学的统一》27，281-311（2012）。MSC公司：68T50型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Ranta}，日志。认识论。统一科学。27、281--311（2012；Zbl 1314.68340） 全文： 内政部
阿恩·兰塔 语言和逻辑之间的翻译：什么容易什么难。 （英语） Zbl 1341.68291号 Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，5-25（2011）。MSC公司：68T50型 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{A.Ranta}，莱克特。票据计算。科学。6803，5--25（2011；Zbl 1341.68291） 全文： 内政部
阿恩·兰塔 语法作为软件库。 （英语） 兹比尔1195.68035 Bertot，Yves（编辑）等人，《从语义学到计算机科学》。纪念吉尔斯·卡恩的文章。剑桥：剑桥大学出版社（ISBN 978-0-521-51825-3/hbk）。281-308 (2009).MSC公司：68N99型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ranta}，in：从语义学到计算机科学。纪念吉尔斯·卡恩的文章。剑桥：剑桥大学出版社。281--308（2009年；Zbl 1195.68035）
马库斯·福斯伯格；阿恩·兰塔 功能形态学。 （英语） Zbl 1323.68113号 2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN Notices 39，No.9，213-223（2004）。MSC公司：68甲18 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{M.Forsberg}和\textit{A.Ranta}，in：第九届ACM SIGPLAN函数编程国际会议论文集，ICFP'04，乌普萨拉，雪鸟，犹他州，美国，2004年9月19-21日。纽约州纽约市：计算机协会（ACM）。213--223（2004；Zbl 1323.68113） 全文： 内政部
阿恩·兰塔 类型理论中的计算语义。 （英语） Zbl 1127.68458号 数学。科学。嗯，数学。社会科学。 165, 31-57 (2003).MSC公司：68T50型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Ranta}，数学。科学。嗯，数学。社会科学。165、31-57（2003年；Zbl 1127.68458）
贾纳·凯盖；本特·诺德斯特伦；阿恩·兰塔 GF中的多语言语法编辑。 （英语） Zbl 1026.68706号 Alexander Gelbukh（编辑），计算语言学和智能文本处理。第四届国际会议，2003年2月16日至22日，墨西哥墨西哥城，CICLing 2003。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2588, 453-464 (2003).MSC公司：68T50型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Khegai｝等人，Lect。票据计算。科学。2588453--464（2003年；Zbl 1026.68706） 全文： 链接
托马斯·哈格伦；阿恩·兰塔 一个可扩展的校对文本编辑器。 （英语） Zbl 0988.68586号 Parigot，Michel（编辑）等人，《编程逻辑和自动推理》。第七届国际会议，2000年11月6日至10日，法国留尼汪岛LPAR 2000。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1955, 70-84 (2000).MSC公司：68吨15 68瓦30 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hallgren}和\textit{A.Ranta}，莱克特。票据计算。科学。1955年，70-84（2000年；Zbl 0988.68586）
阿恩·兰塔 依赖类型的语法演算。 （英语） Zbl 0920.03041号 J.逻辑语言信息。 7，第4期，413-431（1998）. 审核人：米洛斯·阿瓦·科·奥斯卡·加维耶诺维奇（波兹南） MSC公司：03B65号 35楼03号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ranta}，J.Logic Lang.Inf.7，No.4，413--431（1998；Zbl 0920.03041） 全文： 内政部
阿恩·兰塔 数学法语中的语法结构。二、。（语法结构es-dans-le-francais-mathematique.II.） （法语） Zbl 0891.03008号 数学。信息科学。嗯。 139, 5-36 (1997).MSC公司：03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ranta}，数学。信息科学。Hum.139，5-36（1997年；兹bl 0891.03008） 全文： Numdam编号 欧洲DML
阿恩·兰塔 数学法语中的语法结构。（语法结构es dans le français mathematique.I.） （法语） Zbl 0891.03007号 数学。信息科学。嗯。 138, 5-56 (1997).MSC公司：03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ranta}，数学。信息科学。Hum.138，5-56（1997；Zbl 0891.03007） 全文： Numdam编号 欧洲DML
帕特里克·布莱克本；马克·戴米特曼；阿兰·勒科姆；阿恩·兰塔；雷托雷，基督徒；埃里克·维尔蒙特·德拉克莱格里（Eric Villemonte de la Clergerie） 计算语言学的逻辑方面：导论。 （英语） Zbl 0885.03027号 克里斯蒂安·雷托雷（编辑），计算语言学的逻辑方面。第一届国际会议，1996年9月23日至25日，法国南锡，LACL’96。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1328, 1-20 (1997).MSC公司：03B65号 68T50型 03-02 68-02 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}等人，Lect。票据计算。科学。1328，1--20（1997；Zbl 0885.03027）
阿恩·兰塔 类型理论语法。 （英语） Zbl 0855.68073号 指数。逻辑与语言专著. 1. 牛津：克拉伦登出版社。xii，226页（1994年）。 审核人：T.Bélénescu（布库雷什蒂） MSC公司：68T50型 68-01 PDF格式BibTeX公司 XML格式引用 \textit{A.Ranta}，打字理论语法。牛津：克拉伦登出版社（1994；Zbl 0855.68073）