scientific article; zbMATH DE number 3523519
From MaRDI portal
Publication:4101795
zbMATH Open0335.02015MaRDI QIDQ4101795FDOQ4101795
Authors: Jean-Jacques Lévy 
Publication date: 1975
Title of this publication is not available (Why is that?)
Cited In (14)
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi
- A Light Modality for Recursion
- Eager functions as processes
- Title not available (Why is that?)
- Combinatory reduction systems: Introduction and survey
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Games characterizing Levy-Longo trees
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
- Expressive power of typed and type-free programming languages
- Strong normalisation in the \(\pi\)-calculus
- Needed reduction and spine strategies for the lambda calculus
- Descendants and origins in term rewriting.
- From Böhm's theorem to observational equivalences: an informal account
- Parallel reductions in \(\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)
