The following pages link to (Q4474834):
Displaying 30 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)
- (Q5009447) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5111322) (← 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)
