Structured general corecursion and coinductive graphs [extended abstract]

vastutusandmed
Tarmo Uustalu
allikas
EPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 2012
ilmumiskoht
[Sydney]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 55-61
ISSN
2075-2180
märkused
Bibliogr.: 8 ref
keel
inglise
Uustalu, T. Structured general corecursion and coinductive graphs [extended abstract] // EPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 2012. [Sydney] : Open Publishing Association, 2012. p. 55-61.