阿迪·沙米尔;威廉·沃奇(William W.Wadge)。 数据类型作为对象。 (英语) Zbl 0353.68050号 《自动化、语言和编程》,第四届Colloq.,Turku 1977,Lect。注释计算。科学。第52、465-479页(1977年)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3个 +4个 +5 显示扫描页面 引用于5文件 MSC公司: 68号01 软件理论中的一般主题 PDF格式BibTeX公司 XML格式