Davide Sangiorgi – An Introduction to Coinduction and the Duality With Induction
13 nov. 2014 Induction is a pervasive tool in Computer Science and Mathematics for defining objects and for proving properties on them. Coinduction is the dual of induction, and as such it brings in tools for defining and reasoning on objects that are new and quite different from the tools…