MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Initial Algebra Semantics and Continuous Algebras." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

The Impact of Model Theory on Theoretical Computer Science
by J.A. Makowsky, In D. Gabbay, Chapter Morgan Kaufmann Publishers, Ssh J. T. Schwartz, M. Sharir, J. Hopcroft — 1995
….B. Wright. Initial algebra semantics and continuous algebras. Journal of ACM, 24:68--95, 1977. References …
Cited by 1 (1 self) – Add To MetaCart

Memories of ADJ
by Joseph Goguen Programming, Joseph A. Goguen — 1989 — Bulletin of the European Assoc. for Theoretical Computer Science
… into ADJ's fairly well-known paper "Initial algebra semantics and continuous algebras" [11]. This work used…
Add To MetaCart

Tossing Algebraic Flowers down the Great Divide
by Joseph Goguen — 1999 — In People and Ideas in Theoretical Computer Science
…. ADJ later extended initial algebra semantics to continuous algebras (at about the same time as Maurice…
Cited by 2 (0 self) – Add To MetaCart

Proc. Summer Workshop on Category and Computer
by Programming Surrey Lncs, Smyth M — 293
…. Goguen J.A., Thatcher J.W., Wagner E.G., Wright J.B. [1977] "Initial Algebra Semantics and Continuous…
Add To MetaCart

Bibliography
by Ben Benson, Jo Joshi A, Gest Gecseg F, Steinby M, Tree Automata
… J.W., Wagner E.G., Wright J.B. (1977), "Initial Algebra Semantics and Continuous Algebras", Journal…
Add To MetaCart

Bibliography
by Volume Of Lecture, E S. L. Bloom
….B. Wright. Initial algebra semantics and continuous algebras. Journal of ACM, 24:68--95, 1977. [Gup94] V…
Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB