scientific article; zbMATH DE number 3523519
From MaRDI portal
Publication:4101795
Cited in
(14)- 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
- Eager functions as processes
- From Böhm's theorem to observational equivalences: an informal account
- A new coinductive confluence proof for infinitary lambda calculus
- Parallel reductions in \(\lambda\)-calculus
- Strong normalisation in the \(\pi\)-calculus
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi
- Lambda galore
- Expressive power of typed and type-free programming languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4101795)
