1) Theoretical computer science
Found on
https://www.crosswordclues.com/clue/coinduction
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 types are known as codata and are typically infinite data structures, such as streams. As a definition or specification, coinduction de...
Found on
http://en.wikipedia.org/wiki/Coinduction
No exact match found.
