马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;吉田、Nobuko 子类型的含义和操作精确性：路线图。在弗兰克·德·波尔60岁生日之际献给他。 （英语） Zbl 1475.68082号 Ábrahám，Erika（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。勒克特。注释计算。科学。9660, 155-172 (2016). 摘要：子类型的概念在理论和应用领域都发挥了重要作用：在lambda和并发计算以及面向对象的编程语言中。稳健性和完整性，统称为子类型的精确性，可以从两个不同的角度考虑：外延和操作。前者的精确性是基于类型的外延，类型是根据语言中其他表达式的外延描述类型含义的数学对象。后一种精确性是最近在类型安全方面发展起来的，即当预期使用较大类型的术语时，可以安全地替换较小类型的术语。本文表明，操作精确性的标准证明意味着指称精确性，并对这一主题进行了概述。关于整个系列，请参见[Zbl 1460.68002号]. 引用于2文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲18 函数编程和lambda演算 68甲19 其他编程范式（面向对象、顺序、并发、自动等） PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，Lect。注释计算。科学。9660，155--172（2016；Zbl 1475.68082） 全文： 内政部