scientific article; zbMATH DE number 3523519
From MaRDI portal
Publication:4101795
zbMath0335.02015MaRDI QIDQ4101795
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Eager functions as processes ⋮ Games characterizing Levy-Longo trees ⋮ Needed reduction and spine strategies for the lambda calculus ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ A Light Modality for Recursion ⋮ Filter models for conjunctive-disjunctive \(\lambda\)-calculi ⋮ From Böhm's Theorem to Observational Equivalences ⋮ Parallel reductions in \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Expressive power of typed and type-free programming languages ⋮ Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms ⋮ Descendants and origins in term rewriting. ⋮ Combinatory reduction systems: Introduction and survey
This page was built for publication:
