Pages that link to "Item:Q3559971"
From MaRDI portal
The following pages link to Some reasons for generalising domain theory (Q3559971):
Displaying 14 items.
- Strategies as concurrent processes (Q283745) (← links)
- Historical introduction to ``Concrete domains'' by G. Kahn and G. D. Plotkin (Q1314353) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Deterministic concurrent strategies (Q1941878) (← links)
- Elements of a theory of algebraic theories (Q2253182) (← links)
- Towards a homotopy domain theory (Q2700838) (← links)
- (Q4264098) (← links)
- (Q4580329) (← links)
- COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS (Q4984865) (← links)
- (Q5079757) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)
- On operads, bimodules and analytic functors (Q5366976) (← links)
- Distributive laws for relative monads (Q6159707) (← links)
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences (Q6544451) (← links)