Primitive (co)recursion and course-of-values (co)iteration, categorically (1999)

by Tarmo Uustalu , Varmo Vene
Venue:Informatica
Citations:13 - 6 self

Document Versions

Primitive (co)recursion and course-of-values (co)iteration, categorically –Tarmo Uustalu, Varmo Vene — 1999 — Informatica
Primitive (co)recursion and course-of-value (co)iteration, categorically –Tarmo Uustalu, Varmo Vene — 1999 — Informatica
Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically –Tarmo Uustalu, Varmo Vene — 1999 — Informatica
Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically –Tarmo Uustalu, Varmo Vene — 1999 — Informatica