Pages that link to "Item:Q1398466"

The following pages link to Glueing and orthogonality for models of linear logic (Q1398466):

Displaying 42 items.

• Modeling linear logic with implicit functions (Q392296) (← links)
• Deep inference and probabilistic coherence spaces (Q452333) (← links)
• On Sweedler's cofree cocommutative coalgebra. (Q494084) (← links)
• Towards a geometry of recursion (Q534710) (← links)
• A categorical model for the geometry of interaction (Q817846) (← links)
• A categorical semantics for polarized MALL (Q866570) (← links)
• Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings (Q1027645) (← links)
• Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
• Partially traced categories (Q1940191) (← links)
• A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
• A quantum double construction in Rel. (Q2909732) (← links)
• Constructing Fully Complete Models for Multiplicative Linear Logic (Q2986835) (← links)
• Coherence Spaces and Uniform Continuity (Q2988356) (← links)
• Bialgebras in Rel (Q3178263) (← links)
• Some reasons for generalising domain theory (Q3559971) (← links)
• Towards a typed Geometry of Interaction (Q3564345) (← links)
• On traced monoidal closed categories (Q3625674) (← links)
• Transport of finiteness structures and applications (Q4577981) (← links)
• On geometry of interaction for polarized linear logic (Q4961719) (← links)
• (Q4972739) (← links)
• Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories (Q4993351) (← links)
• Linear Exponential Comonads without Symmetry (Q5014810) (← links)
• (Q5018485) (← links)
• (Q5018489) (← links)
• (Q5020625) (← links)
• The geometry of Bayesian programming (Q5076392) (← links)
• Encodings of Turing machines in linear logic (Q5139286) (← links)
• Cofree coalgebras and differential linear logic (Q5139287) (← links)
• Convenient antiderivatives for differential linear categories (Q5139291) (← links)
• Monoidal-closed categories of tree automata (Q5220183) (← links)
• Proofs as Polynomials (Q5415631) (← links)
• On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
• A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
• Monoidal reverse differential categories (Q5889303) (← links)
• LNL polycategories and doctrines of linear logic (Q6135749) (← links)
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528) (← links)
• Stabilized profunctors and stable species of structures (Q6563041) (← links)
• A tale of additives and concurrency in game semantics (Q6612786) (← links)
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)
• A functorial excursion between algebraic geometry and linear logic (Q6649501) (← links)
• \(\ast\)-autonomous envelopes and conservativity (Q6657790) (← links)
• Normalization by evaluation for the lambek calculus (Q6659901) (← links)