Certain aspects of classical analysis are amenable to coinductive techniques.
References.
- A Calculator for Exact Real Number Computation (Plume, under Escardó, Simpson) is an implementation of an exact calculator for real numbers using signed binary digit streams.
- Calculus in Coinductive Form (Escardó, Pavlovic) represents analytic functions in coinductive form using the stream of coefficients for their Taylor series.
- A Coinductive Calculus of Streams (Rutten, 2005) is a complete description of Taylor analysis in terms of streams.