scientific article; zbMATH DE number 3523519
From MaRDI portal
Publication:4101795
Cited in
(13)- Eager functions as processes
- Combinatory reduction systems: Introduction and survey
- Expressive power of typed and type-free programming languages
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi
- Games characterizing Levy-Longo trees
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
- From Böhm's theorem to observational equivalences: an informal account
- scientific article; zbMATH DE number 7199590 (Why is no real title available?)
- Strong normalisation in the \(\pi\)-calculus
- Descendants and origins in term rewriting.
- Parallel reductions in \(\lambda\)-calculus
- Needed reduction and spine strategies for the lambda calculus
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)
