Partiality via coinductive types (abstract)

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