Dale Miller, Zoltán Ésik (Eds.):
Proceedings 8th Workshop on Fixed Points in Computer Science.
EPTCS 77 2012
Andreas Abel:
Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types.
1-11
Axel Haddad:
IO vs OI in Higher-Order Recursion Schemes.
23-30
Tarmo Uustalu:
Structured general corecursion and coinductive graphs [extended abstract].
55-61