Continuous functions on final coalgebras

MaRDI QIDQ2863899zbMATH OpenFDO

Authors Neil Ghani, Peter Hancock, Dirk Pattinson

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106004749?np=y

zbMATH Keywords

constructive mathematicscontinuous functionsfinal coalgebras

Mathematics Subject Classification ID

Special categories (18B99) Abstract data types; algebraic specification (68Q65) Constructive and recursive analysis (03F60)

Recommendations

• Continuous functions on final coalgebras
• The continuum as a final coalgebra
• On final coalgebras of continuous functors
• Representations of stream processors using nested fixed points
• Computable functions on final coalgebras

Cited in

(12)

• Proofs, programs, processes
• Continuous functions on final coalgebras
• Realization of coinductive types
• A coalgebraic view of bar recursion and bar induction
• \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
• Mixed Inductive/Coinductive Types and Strong Normalization
• Representations of stream processors using nested fixed points
• Computable functions on final coalgebras
• Coinductive Properties of Causal Maps
• Coalgebras in functional programming and type theory
• From Coinductive Proofs to Exact Real Arithmetic
• The continuum as a final coalgebra

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 Q2863899)