… a regular derivation of a judgment. Relying on these results, we define proof techniques for
regular reasoning: the regular coinduction … of the regular interpretation. Finally, we show the …

… duality of induction and coinduction for coalgebras. We … coinduction principle for coalgebras,
while in Section 5 we give sufficient criteria for the validity of the induction and coinduction …

… Coinduction refers to both a technique for the definition of infinite streams… This article first
reviews coinduction in declarative … coinductive hypothesis rule which resembles the coinduction …

… And, as the coinduction proof principle, we refer to a … account of extended coinduction principles
covering in one … instantiated to yield several coinductive definition and proof schemata. It …

… example of a coinduction principle for proving that two regular expressions are language …
and Henglein in [1] (together with its coinductive foundations) and to a system for “bisimilarity of …

… Defining infinite structures via the coclosure operators in TcC logic leads to a symmetric
foundation for functional languages where inductive and coinductive data types can be naturally …

… ideas arising from coinduction have been proposed as … category with inductive and coinductive
types can be used … and to find explicit representations of other coinductive datatypes [7,8]. …

… Indeed, referring to the algebraic/coalgebraic interpretation of induction/coinduction, the
foundation axiom can be expressed as a requirement that the universe of sets should be an …

… coinduction provides a foundation for many infinite structures arising in computer science,
and in recent years it has been the subject of intense research activity. Coinductive … to regular …

… [36] providing coalgebraic foundations for coinduction. A historical overview of coinduction
may be … An → B is clear from the context, then we use f∗ to denote the regular extension of f …