The following pages link to (Q4474834):
Displaying 45 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- Cartesian differential categories as skew enriched categories (Q825992) (← links)
- The logic of message-passing (Q923880) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- A categorical construction for the computational definition of vector spaces (Q2024925) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Adjoint reactive GUI programming (Q2233414) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Sheaf representation of monoidal categories (Q2687340) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) (Q3384934) (← links)
- Enriching an Effect Calculus with Linear Types (Q3644752) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- (Q4989404) (← links)
- (Q5009447) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)
- (Q5015209) (← links)
- (Q5019687) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- Back to futures (Q5063251) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5109520) (← links)
- (Q5111322) (← links)
- (Q5137919) (← links)
- (Q5155686) (← links)
- Adjoint Logic with a 2-Category of Modes (Q5283430) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← links)
