Pages that link to "Item:Q1170880"
From MaRDI portal
The following pages link to Sequential algorithms on concrete data structures (Q1170880):
Displayed 28 items.
- I-categories as a framework for solving domain equations (Q685401) (← links)
- Non-deterministic information systems and their domains (Q914401) (← links)
- An algebraic approach to stable domains (Q917677) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Event structures and domains (Q1124367) (← links)
- Sequential algorithms on concrete data structures (Q1170880) (← links)
- Universal homogeneous event structures and domains (Q1175945) (← links)
- Towards a theory of parallel algorithms on concrete data structures (Q1194326) (← links)
- Historical introduction to ``Concrete domains'' by G. Kahn and G. D. Plotkin (Q1314353) (← links)
- Information categories (Q1320330) (← links)
- Synchronization trees (Q1348524) (← links)
- Decidability results for primitive recursive algorithms (Q1399975) (← links)
- Recursive domain equations for concrete data structure (Q1823005) (← links)
- On the logic of unification (Q1823935) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- Projecting sequential algorithms on strongly stable functions (Q1919532) (← links)
- Game-theoretic analysis of call-by-value computation (Q1960532) (← links)
- A stable programming language (Q2492185) (← links)
- Locally Boolean domains (Q2566030) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- Universal domains and the amalgamation property (Q4279243) (← links)
- (Q4513599) (← links)
- Symmetry and Interactivity in Programming (Q4650295) (← links)
- Domains via graphs (Q5956841) (← links)
- On the asymptotic behaviour of primitive recursive algorithms (Q5958756) (← links)