- Published 1998 in LICS
DOI:10.1109/LICS.1998.705675

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)

### Presentations referencing similar topics