Deep inference and probabilistic coherence spaces
From MaRDI portal
(Redirected from Publication:452333)
Recommendations
- A System of Interaction and Structure II: The Need for Deep Inference
- A system of interaction and structure
- A deep inference system with a self-dual binder which is complete for linear lambda calculus
- Linear lambda calculus and deep inference
- Interaction and depth against nondeterminism in proof search
Cites work
- scientific article; zbMATH DE number 2185722 (Why is no real title available?)
- scientific article; zbMATH DE number 4103051 (Why is no real title available?)
- scientific article; zbMATH DE number 1024333 (Why is no real title available?)
- A System of Interaction and Structure II: The Need for Deep Inference
- Discrete quantum causal dynamics
- Double categories: a modular model of multiplicative linear logic
- Exploring the gap between linear and classical logic
- Finiteness spaces
- Glueing and orthogonality for models of linear logic
- Linear logic
- Linearly distributive functors
- Natural deduction and coherence for weakly distributive categories
- Nuclear and trace ideals in tensored \(^*\)-categories
- On Köthe sequence spaces and linear logic
- On categorical models of classical logic and the Geometry of Interaction
- On the axiomatisation of Boolean categories with and without medial
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Topological \(\ast\)-autonomous categories
- Weakly distributive categories
Cited in
(8)- A System of Interaction and Structure II: The Need for Deep Inference
- scientific article; zbMATH DE number 7471668 (Why is no real title available?)
- A logical basis for quantum evolution and entanglement
- scientific article; zbMATH DE number 6928881 (Why is no real title available?)
- Parameter inference with deep jointly informed neural networks
- Towards end‐to‐end likelihood‐free inference with convolutional neural networks
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- A deep inference system with a self-dual binder which is complete for linear lambda calculus
This page was built for publication: Deep inference and probabilistic coherence spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q452333)