归纳递归与初始代数

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

尚未对本出版物进行评论。