Calculus in Coinductive Form

Coinduction is often seen as a way of implementing innnite objects 8, 44. Since real numbers are typical innnite objects, it may not come as a surprise that calculus, when presented in a suitable way, is permeated by coinductive reasoning. What is surprising is that mathematical techniques, recently developed in the context of computer science, seem to be… (More)