Pages that link to "Item:Q478400"
From MaRDI portal
The following pages link to Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400):
Displaying 4 items.
- Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains (Q2052570) (← links)
- Core-compactness, consonance and the Smyth powerspaces (Q2131802) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
