Definition of Coinductively. Meaning of Coinductively. Synonyms of Coinductively

- is the mathematical dual to structural induction.[citation needed] Coinductively defined data types are known as codata and are typically infinite data...
- A coinductive data definition is one that specifies the operations that may be performed on a piece of data; typically, self-referential coinductive definitions...
- can be stated more formally in category theory: the anamorphism of a coinductive type denotes the ****ignment of a coalgebra to its unique morphism to...
- transition systems, abstract machines that model com****tion. It is defined coinductively and generalizes the idea of bisimulations. A bisimulation matches up...
- inductive data type, an apomorphism models primitive corecursion over a coinductive data type. The term "apomorphism" was introduced in Functional Programming...
- greatest fixed point and terminal F-coalgebra, with applications to coinductive types. These can be used for allowing potentially infinite objects while...
- publishers of the CODATA recommended values of physical constants Coinductively defined data types in computer science CoData (company), a former computer...
- the type of well-founded trees. Later work in type theory generated coinductive types, induction-recursion, and induction-induction for working on types...
- 1007/978-3-319-10542-0. ISBN 978-3-319-10541-3. Retrieved Mar 13, 2024. Xavier Leroy. "Coinductive big-step operational semantics". Gilles Kahn. "Natural Semantics". Proceedings...
- supports λ-tree syntax, it is possible to use it to reason inductively and coinductively on syntactic objects containing binding. This prover has successfully...