Continuous functions on final coalgebras

zbMATH Open1276.68110MaRDI QIDQ2863899FDOQ2863899

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

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

zbMATH Keywords

constructive mathematicscontinuous functionsfinal coalgebras

Mathematics Subject Classification ID

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

Cited In (12)

• Proofs, programs, processes
• Continuous functions on final coalgebras
• Realization of coinductive types
• \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
• A coalgebraic view of bar recursion and bar induction
• 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)