出版物

过滤器：作者是埃里克·帕尔姆格伦  [清除所有筛选器]
2012
兰塔A.机器翻译与类型理论。输入：Dybjer P公司,Palmgren E公司,林德斯特伦·S,桑德霍姆G，编辑。 认识论与本体论。佩尔·马丁·洛夫关于数学哲学和基础的论文第27卷。认识论与本体论。佩尔·马丁·Löf.关于数学哲学和基础的论文。；2012:281-311. 网址：http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14.阵列下载：最终-mtt.pdf（591.34 KB）