Skew confluence and the lambda calculus with letrec

The implementation of functional programming languages

Microprocessors and Microsystems · 1987 · 1.1K citations

Computing, Computer Science, Compilers +10

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

Term rewriting systems

Jan Willem Klop · Data Archiving and Networked Services (DANS) · 1990 · 783 citations

Computing, Computer Science, Formal Methods +14

Explicit substitutions

M. Abadi, Luca Cardelli, Pierre-Louis Curien et al. · Journal of Functional Programming · 1991 · 366 citations · Full text

Computing, Computer Science, Mathematics +4

Interaction nets

Yves Lafont · 1990 · 317 citations

Computing, Computer Science, Computer Systems +14