Continuous functions on final coalgebras
From MaRDI portal
Publication:2805147
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
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
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 (5)
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)
