General recursion via coinductive types (2005)

by V Capretta
Venue:Logical Methods in Computer Science