Publication:4101795
From MaRDI portal
zbMath0335.02015MaRDI QIDQ4101795
Publication date: 1975
03B40: Combinatory logic and lambda calculus
Related Items
Parallel reductions in \(\lambda\)-calculus, Strong normalisation in the \(\pi\)-calculus, Filter models for conjunctive-disjunctive \(\lambda\)-calculi, Expressive power of typed and type-free programming languages, Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms, Needed reduction and spine strategies for the lambda calculus, Combinatory reduction systems: Introduction and survey, Descendants and origins in term rewriting., Games characterizing Levy-Longo trees