Algebras and coalgebras

Authors:
Peter Aczel
Affiliations:
Departments of Mathematics and Computer Science, University of Manchester
Venue:
Algebraic and coalgebraic methods in the mathematics of program construction
Year:
2002

Citing 1
Cited 2

Final coalgebras as greatest fixed points in ZF set theory

Mathematical Structures in Computer Science

Substitution in non-wellfounded syntax with variable binding

Theoretical Computer Science - Selected papers of CMCS'03
Inductive and Coinductive Components of Corecursive Functions in Coq

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract