Continuous functions on final coalgebras

DOI10.1016/J.ENTCS.2009.07.081MaRDI QIDQ2805147zbMATH OpenOpenAlexFDO

Authors Neil Ghani, Peter Hancock, Dirk Pattinson

Publication date 10 May 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.2009.07.081

zbMATH Keywords

continuous functionsfinal coalgebrascontainers

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Continuous functions on final coalgebras
• On final coalgebras of continuous functors
• The continuum as a final coalgebra
• Final coalgebras for functors on measurable spaces
• Continuous families of coalgebras
• Computable functions on final coalgebras
• Recursive coalgebras of finitary functors
• On finitary functors
• Final coalgebras from corecursive algebras
• Final coalgebras and a solution theorem for arbitrary endofunctors

Cites work

• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• scientific article; zbMATH DE number 1948154 (Why is no real title available?)
• scientific article; zbMATH DE number 1956503 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 2182485 (Why is no real title available?)
• scientific article; zbMATH DE number 3428899 (Why is no real title available?)
• scientific article; zbMATH DE number 3231083 (Why is no real title available?)
• Automata, Languages and Programming
• Constructivism in mathematics. An introduction. Volume I
• Containers: Constructing strictly positive types
• Formal systems for some branches of intuitionistic analysis
• Indexed induction-recursion
• Induction-recursion and initial algebras.
• Normal functors, power series and \(\lambda\)-calculus
• Refinement Calculus
• Representations of stream processors using nested fixed points

Cited in

(10)

• Nonflatness and totality
• Continuous functions on final coalgebras
• Realization of coinductive types
• Stream processors and comodels
• The continuum as a final coalgebra
• \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
• Representations of stream processors using nested fixed points
• scientific article; zbMATH DE number 7407785 (Why is no real title available?)
• Computable functions on final coalgebras
• Coalgebras in functional programming and type theory

This page was built for publication: Continuous functions on final coalgebras

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