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

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