Generalised coinduction (0)

by Falk Bartels
Venue:Mathematical Structures in Computer Science