Structured general corecursion and coinductive graphs [extended abstract]
author
Uustalu, Tarmo
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
Open Publishing Association
year of publication
2012
pages
p. 55-61
ISSN
2075-2180
notes
Bibliogr.: 8 ref
language
inglise