Parametric (Co)Iteration vs. Primitive Direcursion

From MaRDI portal
Publication:3612495