| 标题 | 机器翻译与类型理论 |
| 出版物类型 | 书籍章节 |
| 出版年份 | 2012 |
| 作者 | 兰塔，A |
| 编辑器 | 戴比杰，P,东巴尔姆格伦,林德斯特伦,桑霍姆，G |
| 书籍标题 | 认识论与本体论。佩尔·马丁·洛夫关于数学哲学和基础的论文 |
| 系列标题 | 逻辑、认识论与科学的统一 |
| 体积 | 27 |
| 分页 | 281-311 |
| 发布日期 | 2012 |
| 出版商 | Springer Verlag公司 |
| ISBN编号 | 国际标准图书编号：978-94-007-4434-9（印刷版）978-94-07-4435-6（在线） |
| 关键词 | 国际语 |
| 统一资源定位地址 | http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14 |
| 推荐人名称 | 参考 |
