马塞洛·邦桑格；朱里安·罗特；大卫·安科纳；法兰克·德波尔；简·拉特 共生并集类型的联合基础。 （英语） Zbl 1409.68177号 Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8573，62-73（2014年）。 摘要：本文介绍了共产类型的代数基础，将其解释为值集，并用集合论并集进行了扩展。根据最大迹的包含，我们给出了语义子类型的一个合理而完整的特征。此外，我们提供了一种基于近似的技术，将子类型化简化为有限道集之间的包含。我们获得了树语言的包含，作为一种合理而完整的方法，用基本类型、乘积和并集来显示递归类型的语义子类型，并对其进行共同解释。关于整个系列，请参见[Zbl 1291.68018号]. MSC公司： 68问题65 抽象数据类型；代数规范 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：X减少；CDuce公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Bonsangue}等人，莱克特。注释计算。科学。8573、62-73（2014；Zbl 1409.68177） 全文： 内政部