Partiality via coinductive types (abstract)
autor
Uustalu, Tarmo
vastutusandmed
T.Uustalu
allikas
Oberwolfach reports / European Mathematical Society
ajakirja aastakäik number kuu
2
ilmumisaasta
2005
leheküljed
p. 807