Calculus in coinductive form
Dusko ́cPavlovi and Martín Escardó
Book Title
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science
Editor
V. Pratt
Pages
408–417
Publisher
IEEE Computer Society
Year
1998
Dusko ́cPavlovi and Martín Escardó