An order-algebraic definition of knuthian semantics

Semantics of context-free languages

Donald E. Knuth · Theory of Computing Systems · 1968 · 2K citations

Computing, Computer Science, Formal Methods +9

Denotational semantics: The scott-strachey approach to programming language theory

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

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

Heterogeneous algebras

Garrett Birkhoff, John D. Lipson · Journal of Combinatorial Theory · 1970 · 233 citations

Semantics of context-free languages: Correction

Donald E. Knuth · Theory of Computing Systems · 1971 · 222 citations

Computing, Computer Science, Natural Language Processing +9