General Recursion via Coinductive Types (0)

by V Capretta
Venue:Logical Methods in Computer Science