Continuous Functions on Final Coalgebras

DOI10.1016/j.entcs.2009.07.081zbMath1337.68070OpenAlexW2039747541MaRDI QIDQ2805147

Neil Ghani, Peter G. 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

final coalgebrascontinuous functionscontainers

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Coalgebras in functional programming and type theory ⋮ Nonflatness and totality ⋮ Unnamed Item

Cites Work

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

This page was built for publication: Continuous Functions on Final Coalgebras