scientific article; zbMATH DE number 3646849
From MaRDI portal
Publication:3205213
zbMATH Open0416.03017MaRDI QIDQ3205213FDOQ3205213
Authors:
Publication date: 1978
Title of this publication is not available (Why is that?)
Cited In (14)
- Sequential evaluation strategies for parallel-or and related reduction systems
- Sequential algorithms on concrete data structures
- An algebraic approach to stable domains
- The chemical abstract machine
- Combinatory reduction systems: Introduction and survey
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- A complete characterization of primitive recursive intensional behaviours
- A stable programming language
- Distributive semantics for nondeterministic typed \(\lambda\)-calculi
- Expressive power of typed and type-free programming languages
- Stability, sequentiality and demand driven evaluation in dataflow
- Full abstraction and the Context Lemma (preliminary report)
- Needed reduction and spine strategies for the lambda calculus
- Descendants and origins in term rewriting.
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 Q3205213)
