Rewrite, rewrite, rewrite, rewrite, rewrite, …

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

Computer Languages · 1983 · 1.2K citations

Computing, Computer Science, Formal Methods +8

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

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

Termination of rewriting

Nachum Dershowitz · Journal of Symbolic Computation · 1987 · 725 citations

Data Types as Lattices

Dana Scott · SIAM Journal on Computing · 1976 · 573 citations

Computing, Computer Science, Number Theory +8