M.: Calculus in coinductive form (1998)

by D Pavlović, Escardó
Venue:In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science