归纳递归与初始代数

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

作者

彼得·戴比杰

这名作者的身份尚未确定。在谷歌中查找“Peter Dybjer”

安东·塞泽尔

这名作者的身份尚未确定。在谷歌中查找“Anton Setzer”