Structured general corecursion and coinductive graphs [extended abstract]
autor
Uustalu, Tarmo
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
Open Publishing Association
ilmumisaasta
2012
leheküljed
p. 55-61
leitav
https://arxiv.org/abs/1202.3502
märksõna
infotehnoloogia
programmeerimiskeeled
ISSN
2075-2180
märkused
Bibliogr.: 8 ref
keel
inglise