Calculus in Coinductive Form (Escardó, Pavlovic)

Last updated Unknown

• coinductive analysis
• analytic functions in coinductive form