Pages that link to "Item:Q1575868"
From MaRDI portal
The following pages link to Coherent Banach spaces: A continuous denotational semantics (Q1575868):
Displaying 13 items.
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462) (← links)
- The differential lambda-calculus (Q1884894) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Geometrical semantics for linear logic (multiplicative fragment) (Q2500490) (← links)
- Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
- On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- Cofree coalgebras and differential linear logic (Q5139287) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC (Q5291334) (← links)
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)
