罗伯特·波拉克 类型理论中的独立类型记录。 (英语) Zbl 1001.68013号 正式Asp。计算。 13,编号3-5,386-402(2002). 引用于7文件 MSC公司: 68甲15 编程语言理论 68第05页 数据结构 关键词:从属类型;感应递归的;清单类型;模块;卵石;签名;共享 软件:乐高 PDF格式BibTeX公司 XML格式引用 \textit{R.Pollack},正式Asp。计算。13、编号3--5、386--402(2002;Zbl 1001.68013) 全文: 内政部