Pages that link to "Item:Q3638099"
From MaRDI portal
The following pages link to An Explicit Formula for the Free Exponential Modality of Linear Logic (Q3638099):
Displayed 21 items.
- Imperative programs as proofs via game semantics (Q388203) (← links)
- On Sweedler's cofree cocommutative coalgebra. (Q494084) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Multigames and strategies, coalgebraically (Q890378) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- On the Hardness of Proving CCA-Security of Signed ElGamal (Q2798771) (← links)
- An Algebraic Account of References in Game Semantics (Q2805167) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- Equivalences and Congruences on Infinite Conway Games (Q2889179) (← links)
- The Free Exponential Modality of Probabilistic Coherence Spaces (Q2988358) (← links)
- From Qualitative to Quantitative Semantics (Q2988359) (← links)
- Constructing Differential Categories and Deconstructing Categories of Games (Q3012919) (← links)
- Parsimonious Types and Non-uniform Computation (Q3449488) (← links)
- An explicit formula for the free exponential modality of linear logic (Q4577986) (← links)
- On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
- Convenient antiderivatives for differential linear categories (Q5139291) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- Infinitary affine proofs (Q5268998) (← links)
- Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)
- Structural rules and algebraic properties of intersection types (Q6164466) (← links)