Highlights in infinitary rewriting and lambda calculus

Term rewriting systems

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

Computing, Computer Science, Formal Methods +14

Full Abstraction in the Lazy Lambda Calculus

Samson Abramsky, C.-H. Luke Ong · Information and Computation · 1993 · 238 citations

Computing, Computer Science, Algebra +8

We Will Show Them: Essays in Honour of Dov Gabbay

Sergei Artëmov, Herbert R. Barringer, Artur d’Avila Garcez et al. · 2005 · 151 citations

Humanities, History, Theology +1

Transfinite Reductions in Orthogonal Term Rewriting Systems

Richard Kennaway, Jan Willem Klop, Ronan Sleep et al. · Information and Computation · 1995 · 135 citations

Computing, Computer Science, Formal Methods +6

Set-theoretical models of λ-calculus: theories, expansions, isomorphisms

G. Longo · Annals of Pure and Applied Logic · 1983 · 116 citations

Natural Sciences, Computer Science, Mathematics +12