scientific article
From MaRDI portal
Publication:3205213
zbMath0416.03017MaRDI QIDQ3205213
No author found.
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Stability, sequentiality and demand driven evaluation in dataflow ⋮ Needed reduction and spine strategies for the lambda calculus ⋮ Full abstraction and the Context Lemma (preliminary report) ⋮ A complete characterization of primitive recursive intensional behaviours ⋮ An algebraic approach to stable domains ⋮ Sequential algorithms on concrete data structures ⋮ The chemical abstract machine ⋮ A stable programming language ⋮ Distributive semantics for nondeterministic typed \(\lambda\)-calculi ⋮ Expressive power of typed and type-free programming languages ⋮ Sequential evaluation strategies for parallel-or and related reduction systems ⋮ Descendants and origins in term rewriting. ⋮ Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin ⋮ Combinatory reduction systems: Introduction and survey
This page was built for publication:
