A Coinductive Representation of Computable Functions.

Alvin Tang, Dirk Pattinson

Browse the full CALCO paper archive.