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