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
Article
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.
Connections
mathematical induction
Entity
bisimulation
Entity
mathematics
Entity
computer science
Entity
International Standard Book Number
Entity
natural number
Entity
infinity
Entity
mathematical proof
Entity
digital object identifier
Entity
sequence
Entity
data structure
Entity
Q364
Entity
Q34010
Entity
data type
Entity
object
Entity
monotonic function
Entity
fixed point
Entity
logic programming
Entity
concurrency
Entity
functor
Entity