Categorical semantics of linear logic
From MaRDI portal
Publication:3075441
Recommendations
Cited in
(53)- Proof diagrams for multiplicative linear logic
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
- A micrological study of negation
- scientific article; zbMATH DE number 5000963 (Why is no real title available?)
- On Banach spaces of sequences and free linear logic exponential modality
- The Scott model of linear logic is the extensional collapse of its relational model
- Monoidal-closed categories of tree automata
- Encodings of Turing machines in linear logic
- scientific article; zbMATH DE number 7243672 (Why is no real title available?)
- LNL polycategories and doctrines of linear logic
- Coherent differentiation
- The shuffle quasimonad and modules with differentiation and integration
- Graded Hoare logic and its categorical semantics
- A linear/producer/consumer model of classical linear logic
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Probabilistic call by push value
- Jets and differential linear logic
- Proof diagrams for multiplicative linear logic: syntax and semantics
- Finitary semantics of linear logic and higher-order model-checking
- Categorial fibring of logics with terms and binding operators
- Equational logic and categorical semantics for multi-languages
- The free exponential modality of probabilistic coherence spaces
- Convenient antiderivatives for differential linear categories
- A coherent differential PCF
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- Hypernormalisation in an abstract setting
- Quantum coherent spaces and linear logic
- Multigames and strategies, coalgebraically
- The bang calculus and the two Girard's translations
- scientific article; zbMATH DE number 7441265 (Why is no real title available?)
- scientific article; zbMATH DE number 7439427 (Why is no real title available?)
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- Observed Communication Semantics for Classical Processes
- Disentangling parallelism and interference in game semantics
- scientific article; zbMATH DE number 1157015 (Why is no real title available?)
- A functorial excursion between algebraic geometry and linear logic
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- Linear Logic Properly Displayed
- On Sweedler's cofree cocommutative coalgebra.
- An explicit formula for the free exponential modality of linear logic
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- The genus of regular languages and directed graph emulators
- A categorical model for a quantum circuit description language (extended abstract)
- scientific article; zbMATH DE number 7204432 (Why is no real title available?)
- scientific article; zbMATH DE number 4202257 (Why is no real title available?)
- Picturing classical and quantum Bayesian inference
- Cofree coalgebras and differential linear logic
- Weighted models for higher-order computation
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Linear exponential comonads without symmetry
- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points
- A categorical model of predicate linear logic
- Category theory in Isabelle/HOL as a basis for meta-logical investigation
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)
