TY  - RPRT
TI  - General Recursion via Coinductive Types
AU  - Venanzio Capretta
PY  - 2005
DO  - 10.2168/lmcs-1(2:1)2005
UR  - https://arxiv.org/abs/cs/0505037
ID  - cs/0505037
ER  -