coinduction
noun as in strong fondness
Word Combinations
Example:The coinductive definition of streams allows for the description of an evolving sequence of elements.
Definition:A definition that uses coinduction, particularly in specifying infinite or non-deterministic processes.
From coinductive definition
Example:The coinductive principle of bisimulation is often used to prove the equivalence of two processes.
Definition:The principle that guides the application of coinduction in formal reasoning about certain mathematical or computational processes.
From coinductive principle
Browse