Calculus in coinductive form (1998)

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