Partiality via coinductive types (abstract)
Uustalu, Tarmo
Oberwolfach reports / European Mathematical Society
2005
/
p. 807