Initial Algebra Semantics and Continuous Algebras
- J.A. Goguen
- J.W. Thatcher
- et al.
- 1977
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
8 results for J.A. Goguen
Rational algebraic theories and fixed-point solutions
- J.B. Wright
- J.W. Thatcher
- et al.
- 1976
- FOCS 1976
Initial agebra sematics
- J.A. Goguen
- J.W. Thatcher
- 1974
- SWAT 1974
On homomorphisms, simulations,correctness and subroutines for programs and program schemes
- J.A. Goguen
- 1972
- SWAT 1972
Systems and minimal realization
- J.A. Goguen
- 1971
- CDC 1971
Minimal realization of machines in closed categories
- J.A. Goguen
- 1972
- Bulletin of the American Mathematical Society
Parallel realization of systems, using factorizations and quotients in categories
- J.A. Goguen
- J.W. Thatcher
- et al.
- 1976
- Journal of the Franklin Institute
Realization is universal
- J.A. Goguen
- 1972
- Mathematical Systems Theory