Continuous functions on final coalgebras

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

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

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

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

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

Cited In (10)

• Nonflatness and totality
• 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
• Representations of stream processors using nested fixed points
• Computable functions on final coalgebras
• Title not available (Why is that?)
• Coalgebras in functional programming and type theory
• Stream processors and comodels
• 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 Q2805147)