Partiality via coinductive types (abstract)
author
Uustalu, Tarmo
statement of authorship
T.Uustalu
source
Oberwolfach reports / European Mathematical Society
journal volume number month
2
year of publication
2005
pages
p. 807