Continuous functions on final coalgebras

DOI10.1016/J.ENTCS.2009.07.081zbMATH Open1337.68070OpenAlexW2039747541MaRDI QIDQ2805147FDOQ2805147

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume I
• Representations of Stream Processors Using Nested Fixed Points
• Refinement Calculus
• Containers: Constructing strictly positive types
• Normal functors, power series and \(\lambda\)-calculus
• Formal systems for some branches of intuitionistic analysis
• Induction-recursion and initial algebras.
• Indexed induction-recursion
• Automata, Languages and Programming

Cited In (4)

• Nonflatness and totality
• \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
• Title not available (Why is that?)
• Coalgebras in functional programming and type theory

Recommendations

• On final coalgebras of continuous functors 👍 👎
• Final coalgebras for functors on measurable spaces 👍 👎
• Recursive coalgebras of finitary functors 👍 👎
• The continuum as a final coalgebra 👍 👎
• Continuous functions on final coalgebras 👍 👎
• Final coalgebras and a solution theorem for arbitrary endofunctors 👍 👎
• Continuous families of coalgebras 👍 👎
• Final Coalgebras from Corecursive Algebras. 👍 👎
• On Finitary Functors 👍 👎
• Computable functions on final coalgebras 👍 👎

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)