A Concrete Final Coalgebra Theorem for ZF Set Theory

Authors:
Lawrence C. Paulson
Affiliations:
-
Venue:
TYPES '94 Selected papers from the International Workshop on Types for Proofs and Programs
Year:
1994

Citing 0
Cited 4

Final coalgebras as greatest fixed points in ZF set theory

Mathematical Structures in Computer Science
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

Mathematical Structures in Computer Science
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell

Proceedings of the 2009 ACM symposium on Applied Computing
An embedded declarative data transformation language

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract