归纳递归与初始代数

彼得·戴比杰,安东·塞泽尔.归纳递归与初始代数.纯逻辑与应用逻辑年鉴, 124(1-3):1-47,2003 [美国国防部]

摘要

缺少摘要。