Sequential algorithms on concrete data structures
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3646849 (Why is no real title available?)
- scientific article; zbMATH DE number 3735771 (Why is no real title available?)
- scientific article; zbMATH DE number 3518773 (Why is no real title available?)
- scientific article; zbMATH DE number 3557184 (Why is no real title available?)
- scientific article; zbMATH DE number 3566181 (Why is no real title available?)
- scientific article; zbMATH DE number 3594646 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- scientific article; zbMATH DE number 3423547 (Why is no real title available?)
- An algebraic interpretation of the K-calculus; and an application of a labelled -calculus
- Fully abstract models of typed \(\lambda\)-calculi
- LCF considered as a programming language
- Minimal and Optimal Computations of Recursive Programs
- Petri nets, event structures and domains. I
- Sequential algorithms on concrete data structures
- The Category-Theoretic Solution of Recursive Domain Equations
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- The lambda calculus, its syntax and semantics
Cited in
(60)- On the asymptotic behaviour of primitive recursive algorithms
- Event structures and domains
- I-categories as a framework for solving domain equations
- Game theoretic analysis of call-by-value computation
- Non-deterministic information systems and their domains
- Resource modalities in tensor logic
- Universal homogeneous event structures and domains
- Sequential algorithms for unbounded nondeterminism
- Prime algebraicity
- scientific article; zbMATH DE number 7471671 (Why is no real title available?)
- Sequential algorithms on concrete data structures
- What is a universal higher-order programming language?
- A game-semantic model of computation
- Typed event structures and the linear \(\pi \)-calculus
- Axiomatization and characterization of BSP algorithms
- An algebraic approach to stable domains
- Decidability results for primitive recursive algorithms
- On dialogue games and graph games
- Synchronization trees
- Game-theoretic analysis of call-by-value computation
- On the symmetry of sequentiality
- Probabilistic -calculus and event structures
- Full abstraction for PCF
- From qualitative to quantitative semantics. By change of base
- Sequential functions on indexed domains and full abstraction for a sub-language of PCF
- Locally Boolean domains
- Stable bistructure models of PCF (preliminary draft)
- A tale of additives and concurrency in game semantics
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
- Some programming languages suggested by game models (extended abstract)
- An algebraic account of references in game semantics
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- Information categories
- The sequentially realizable functionals
- Game semantics of Martin-Löf type theory
- Definability and full abstraction
- Projecting sequential algorithms on strongly stable functions
- Symmetry and Interactivity in Programming
- Domains via graphs
- A stable programming language
- Non-uniform (hyper/multi)coherence spaces
- Sequential algorithms and strongly stable functions
- Non-uniform hypercoherences
- Another approach to sequentiality: Kleene's unimonotone functions
- Redexes are stable in the \(\lambda\)-calculus
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Comparing hierarchies of types in models of linear logic
- On the reification of semantic linearity
- On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
- Continuous functions and parallel algorithms on concrete data structures
- Preface to the special volume
- Towards a theory of parallel algorithms on concrete data structures
- Processes and games
- Full abstraction and the Context Lemma (preliminary report)
- On the logic of unification
- scientific article; zbMATH DE number 1531380 (Why is no real title available?)
- Recursive domain equations for concrete data structure
- Interpreting Localized Computational Effects Using Operators of Higher Type
- Nondeterminism and Observable Sequentiality
- Universal domains and the amalgamation property
This page was built for publication: Sequential algorithms on concrete data structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1170880)
