coinduction
Sign in to saveAlso known as co-induction
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.
~10 min read
Encyclopedic overview
13 sectionsContents
- Description
- Preliminaries
- Definition
- Discussion
- Examples
- Defining a set of data types
- Coinductive datatypes in programming languages
- Relationship with ''F''-coalgebras
- Stream as a final coalgebra
- Relationship with mathematical induction
- See also
- References
- Further reading
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.
Coinduction is the mathematical dual to structural induction. Coinductively defined data types are known as codata and are typically infinite data structures, such as streams.
Excerpted from Wikipedia’s “coinduction” article, available under the CC BY-SA 4.0 licence.