Parametric (Co)Iteration vs. Primitive Direcursion

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73859-6_18 ◽

2007 ◽

pp. 257-278

Author(s):

Johan Glimming

Download Full-text