出版物

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