Similar Items: Machine Space I: Weak exponentials and quantification over compact spaces
- Computably Based Locally Compact Spaces
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories
- Accelerating optimization over the space of probability measures
- Weak bisimulation for coalgebras over order enriched monads
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Proof Theory of Riesz Spaces and Modal Riesz Spaces