Final coalgebras as greatest fixed points in ZF set theory

DOI10.1017/S0960129599002790zbMath0937.68047MaRDI QIDQ4719351

Lawrence Charles Paulson

Publication date: 13 June 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

final coalgebra

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Set theory (03E99)

Related Items (2)

On the final sequence of a finitary set functor ⋮ Towards coalgebraic behaviourism

Uses Software

• Coq
• Isabelle/ZF

This page was built for publication: Final coalgebras as greatest fixed points in ZF set theory