On the algebraic structure of rooted trees

FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

F. William Lawvere · Proceedings of the National Academy of Sciences · 1963 · 1.1K citations · Full text

Natural Sciences, Computer Science, Mathematics +12

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

Computing, Computer Science, Algebra +12

Automata in general algebras

Samuel Eilenberg, Jesse B. Wright · Information and Control · 1967 · 141 citations

Computing, Computer Science, Mathematics +8

Structured Programming With and Without go to Statements

Calvin C. Elgot · IEEE Transactions on Software Engineering · 1976 · 52 citations

Computing, Computer Engineering, Computer Science +10

The existence and construction of free iterative theories

Stephen L. Bloom, Calvin C. Elgot · Journal of Computer and System Sciences · 1976 · 48 citations

Natural Sciences, Mathematics, Philosophy Of Mathematics +6