Categorical semantics of linear logic
From MaRDI portal
Recommendations
Cited in
(66)- The shuffle quasimonad and modules with differentiation and integration
- Equational logic and categorical semantics for multi-languages
- A categorical model of predicate linear logic
- Weighted models for higher-order computation
- Graded Hoare logic and its categorical semantics
- Proof diagrams for multiplicative linear logic: syntax and semantics
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
- Categorial fibring of logics with terms and binding operators
- Finitary semantics of linear logic and higher-order model-checking
- The free exponential modality of probabilistic coherence spaces
- Observed Communication Semantics for Classical Processes
- Quantum coherent spaces and linear logic
- scientific article; zbMATH DE number 4202257 (Why is no real title available?)
- scientific article; zbMATH DE number 5000963 (Why is no real title available?)
- A categorical model for a quantum circuit description language (extended abstract)
- A micrological study of negation
- Picturing classical and quantum Bayesian inference
- The Scott model of linear logic is the extensional collapse of its relational model
- scientific article; zbMATH DE number 1157015 (Why is no real title available?)
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- An explicit formula for the free exponential modality of linear logic
- On Banach spaces of sequences and free linear logic exponential modality
- Probabilistic call by push value
- A linear/producer/consumer model of classical linear logic
- On Sweedler's cofree cocommutative coalgebra.
- Jets and differential linear logic
- Proof diagrams for multiplicative linear logic
- scientific article; zbMATH DE number 7441265 (Why is no real title available?)
- Linear exponential comonads without symmetry
- scientific article; zbMATH DE number 7439427 (Why is no real title available?)
- The bang calculus and the two Girard's translations
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- scientific article; zbMATH DE number 7204432 (Why is no real title available?)
- Dual-context calculi for modal logic
- Encodings of Turing machines in linear logic
- Cofree coalgebras and differential linear logic
- Convenient antiderivatives for differential linear categories
- Models of Linear Logic based on the Schwartz \varepsilon-product
- Monoidal-closed categories of tree automata
- Linear Logic Properly Displayed
- Hypernormalisation in an abstract setting
- Category theory in Isabelle/HOL as a basis for meta-logical investigation
- LNL polycategories and doctrines of linear logic
- Coherent differentiation
- A coherent differential PCF
- The genus of regular languages and directed graph emulators
- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points
- Disentangling parallelism and interference in game semantics
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- A functorial excursion between algebraic geometry and linear logic
- A profunctorial Scott semantics
- Comprehension and quotient structures in the language of 2-categories
- Syntactically and semantically regular languages of -terms coincide through logical relations
- Strategies as resource terms, and their categorical semantics
- The quantum monadology
- Coherent Taylor expansion as a bimonad
- An axiomatics and a combinatorial model of creation/annihilation operators
- Duality structures for representation categories of vertex operator algebras and the Feigin-Fuchs boson
- Integration in cones
- From differential linear logic to coherent differentiation
- A mixed linear and graded logic: proofs, terms, and models
- Double glueing over free exponential: with measure theoretic applications
- Grothendieck-Verdier functors
- Multigames and strategies, coalgebraically
This page was built for publication: Categorical semantics of linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3075441)
