General recursion via coinductive types.

Venanzio Capretta General recursion via coinductive types. 2005 1 Logical Methods in Computer Science 2 http://dx.doi.org/10.2168/LMCS-1(2:1)2005 db/journals/lmcs/lmcs1.html#Capretta05