卢茨·施罗德 HasCasl中的引导类型和子类型。 （英语） Zbl 1214.68233号 Mossakowski，Till（编辑）等人，《计算机科学中的代数和余代数》。2007年8月20日至24日，在挪威卑尔根举行的第二次国际会议，CALCO 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73857-2/pbk）。计算机科学课堂讲稿4624447-461（2007）。 摘要：我们讨论了广谱语言HasCasl中初始数据类型和最终进程类型的处理。特别是，我们提出了一些规范，这些规范说明了数据类型和进程类型是如何使用HasCasl的类型类机制作为引导概念出现的，并且我们描述了有限树和无限树类型的构造，这些树建立了数据类型声明和进程类型声明遵循某些合理格式的保守性。后者相当于修改了HOL中的已知结构，以避免独特的选择；在范畴术语中，这意味着我们建立了具有内部自然数对象的拟拓扑支持一系列多项式函子的初始代数和最终余代数，从而部分推广了拓扑理论的相应结果。关于整个系列，请参见[Zbl 1123.68007号]. 引用于1文件 MSC公司： 68问题65 抽象数据类型；代数规范 软件：CASL公司；赫茨；CoCasl公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}，莱克特。注释计算。科学。4624、447--461（2007；Zbl 1214.68233） 全文： 内政部