scientific article; zbMATH DE number 3646849
From MaRDI portal
Publication:3205213
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 -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)
