Concepedia

Infinite trees and completely iterative theories: a coalgebraic view

Peter Aczel, Jiřı́ Adámek, Stefan Milius, Jiřı́ Velebil

Theoretical Computer Science · 2003 · 114 citations · 14 references

DOI

Concepts

References

14

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 803 citations · Full text

, , +12

The Category-Theoretic Solution of Recursive Domain Equations

Michael Smyth, Gordon Plotkin · SIAM Journal on Computing · 1982 · 485 citations

, , +15

Terminal coalgebras in well-founded set theory

Michael Barr · Theoretical Computer Science · 1993 · 269 citations

, , +7

Solving reflexive domain equations in a category of complete metric spaces

Pierre America, Jan Rutten · Journal of Computer and System Sciences · 1989 · 196 citations

, , +12

Free algebras and automata realizations in the language of categories

Jiřı́ Adámek · Czech Digital Mathematics Library (Institute of Mathematics CAS) · 1974 · 159 citations · Full text

, , +12