Structured general corecursion and coinductive graphs [extended abstract]
author
statement of authorship
Tarmo Uustalu
source
EPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 2012
location of publication
[Sydney]
publisher
year of publication
pages
p. 55-61
ISSN
2075-2180
notes
Bibliogr.: 8 ref
language
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.