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