General recursion via coinductive types (0)

by Venanzio Capretta
Venue:Logical Methods in Computer Science