Parametric (Co)Iteration vs. Primitive Direcursion
From MaRDI portal
Publication:3612495
DOI10.1007/978-3-540-73859-6_18zbMath1214.68207MaRDI QIDQ3612495
Publication date: 10 March 2009
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_18
68Q55: Semantics in the theory of computing
18C20: Eilenberg-Moore and Kleisli constructions for monads