The following pages link to Resource modalities in tensor logic (Q636303):
Displaying 14 items.
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic (Q263105) (← links)
- Imperative programs as proofs via game semantics (Q388203) (← links)
- Classical realizability in the CPS target language (Q1744381) (← links)
- On the Meaning of Focalization (Q3080087) (← links)
- From Focalization of Logic to the Logic of Focalization (Q3178251) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- (Q5018485) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- The parametric continuation monad (Q5269001) (← links)
- Multiple Conclusion Linear Logic: Cut Elimination and More (Q5283420) (← links)
- Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)
- An axiomatic account of a fully abstract game semantics for general references (Q6612783) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
