Realization of coinductive types

DOI10.1016/J.ENTCS.2011.09.024MaRDI QIDQ5739360zbMATH OpenOpenAlexWikidataFDO

Authors Dexter Kozen

Publication date 15 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.09.024

zbMATH Keywords

Brzozowski derivativecoalgebracoinductionrecursive types

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Logical construction of final coalgebras
• Continuous functions on final coalgebras
• Continuous functions on final coalgebras
• scientific article; zbMATH DE number 1497878
• Algebra and Coalgebra in Computer Science

Cites work

• A final coalgebra theorem
• Derivatives of Regular Expressions
• Efficient recursive subtyping
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Logical construction of final coalgebras
• Nominal Kleene coalgebra
• On final coalgebras of continuous functors
• On the final sequence of a finitary set functor
• On the greatest fixed point of a set functor
• Solving reflexive domain equations in a category of complete metric spaces
• Terminal coalgebras in well-founded set theory
• The Category-Theoretic Solution of Recursive Domain Equations
• Universal coalgebra: A theory of systems

Cited in

(12)

• Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies
• A description based on languages of the final non-deterministic automaton
• Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory
• Types and coalgebraic structure
• New
• Dual Calculus with Inductive and Coinductive Types
• scientific article; zbMATH DE number 7376040 (Why is no real title available?)
• A coalgebraic foundation for coinductive union types
• scientific article; zbMATH DE number 7168147 (Why is no real title available?)
• Well-founded coalgebras, revisited
• Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.
• Grounding game semantics in categorical algebra

This page was built for publication: Realization of coinductive types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5739360)