The following pages link to (Q4488202):
Displaying 15 items.
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Topological cones: functional analysis in a \(T_{0}\)-setting (Q938295) (← links)
- Characterizations of metrizable topological vector spaces and their asymmetric generalizations in terms of fuzzy (quasi-)norms (Q983089) (← links)
- Continuous operators on asymmetric normed spaces (Q1046861) (← links)
- A monad for randomized algorithms (Q1744376) (← links)
- The uniform boundedness theorem in asymmetric normed spaces (Q1925438) (← links)
- Algebras of the extended probabilistic powerdomain monad (Q2130602) (← links)
- Completing simple valuations in K-categories (Q2165553) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- (Q4647095) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- Probabilistic Completion of Nondeterministic Models (Q5262931) (← links)
- Isomorphism theorems between models of mixed choice (Q5360215) (← links)
- Prevision Domains and Convex Powercones (Q5458368) (← links)
