- is the
mathematical dual to
structural induction.[citation needed]
Coinductively defined data
types are
known as
codata and are
typically infinite data...
-
publishers of the
CODATA recommended values of
physical constants Coinductively defined data
types in
computer science CoData (company), a
former computer...
- A
coinductive data
definition is one that
specifies the
operations that may be
performed on a
piece of data; typically, self-referential
coinductive definitions...
-
transition systems,
abstract machines that
model com****tion. It is
defined coinductively and
generalizes the idea of bisimulations. A
bisimulation matches up...
- 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...
- programming, a
stream is a
potentially infinite analog of a list,
given by the
coinductive definition: data
Stream α = Nil | Cons α (Stream α)
Generating and computing...
- 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...
-
supports λ-tree syntax, it is
possible to use it to
reason inductively and
coinductively on
syntactic objects containing binding. This
prover has successfully...
- the type of well-founded trees.
Later work in type
theory generated coinductive types, induction-recursion, and induction-induction for
working on types...
- constructors,
coalgebraic specification is
concerned with
behaviour modelled by
coinductive process types that are
observable by selectors, much in the
spirit of...
