弗雷德里克·布兰基;Jean-Pierre Jouannaud;冈田三弘 代数结构的微积分。 (英语) Zbl 0943.68153号 Narendran,Paliath(编辑)等人,《重写技术和应用》。第十次国际会议,RTA-99。意大利特伦托,1999年7月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1631, 301-316 (1999). 小结:本文讨论代数构造演算(CAC)的基础,CAC是构造演算通过归纳数据类型的扩展。CAC通过模式匹配提供函数的定义来概括具有高阶本原递归的归纳类型,该模式匹配捕获满足严格正条件的任意非依赖和非多态归纳类型的递归定义。CAC还通过提供依赖类型和高阶重写规则来概括抽象数据类型的一阶框架。完整的证明可在网址:http://www.lri.fr/~blanqui/publis/rta99full.ps.gz.关于整个系列,请参见[Zbl 0916.00018号]. 引用于8文件 MSC公司: 68吨15 定理证明(演绎、解析等)(MSC2010) 03B35型 证明和逻辑操作的机械化 2012年第68季度 语法和重写系统 68问题65 抽象数据类型;代数规范 关键词:代数结构演算 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui}等人,Lect。注释计算。科学。1631301-316(1999年;兹bl 0943.68153)