The following pages link to (Q3024825):
Displaying 42 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- Equational theories for inductive types (Q678762) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- Multigames and strategies, coalgebraically (Q890378) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Two-level languages for program optimization (Q1826626) (← links)
- Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- The differential lambda-calculus (Q1884894) (← links)
- Cartesian integral categories and contextual integral categories (Q2134825) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Differential categories revisited (Q2307523) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- Non-Uniform Hypercoherences (Q2842815) (← links)
- A Categorical Semantics of Higher Order Store (Q2842823) (← links)
- Differential Linear Logic and Polarization (Q3637207) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4580329) (← links)
- Integral categories and calculus categories (Q4611199) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
- (Q4972739) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- (Q4993351) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)
- (Q5018485) (← links)
- The convex powerdomain in a category of posets realized by cpos (Q5057469) (← links)
- (Q5111309) (← links)
- Convenient antiderivatives for differential linear categories (Q5139291) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- On phase semantics and denotational semantics: The exponentials (Q5939845) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Two applications of analytic functors (Q5958294) (← links)
