The following pages link to (Q4096924):
Displayed 7 items.
- Expressibility of functionals in D. Scott's LCF language (Q599804) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Sequential algorithms on concrete data structures (Q1170880) (← links)
- Towards a theory of parallel algorithms on concrete data structures (Q1194326) (← links)
- Relationships between classes of monotonic functions (Q1235976) (← links)
- Historical introduction to ``Concrete domains'' by G. Kahn and G. D. Plotkin (Q1314353) (← links)
- A stable programming language (Q2492185) (← links)