Deep inference and probabilistic coherence spaces
From MaRDI portal
Publication:452333
DOI10.1007/S10485-010-9241-0zbMATH Open1260.03117OpenAlexW2014469781MaRDI QIDQ452333FDOQ452333
Authors: Prakash Panangaden, Sergey Slavnov, Richard Blute 
Publication date: 20 September 2012
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10485-010-9241-0
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
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Categorical logic, topoi (03G30)
Cites Work
- Title not available (Why is that?)
- Linear logic
- Weakly distributive categories
- Nuclear and trace ideals in tensored \(^*\)-categories
- Natural deduction and coherence for weakly distributive categories
- Linearly distributive functors
- Title not available (Why is that?)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Finiteness spaces
- Discrete quantum causal dynamics
- Glueing and orthogonality for models of linear logic
- On Köthe sequence spaces and linear logic
- Topological \(\ast\)-autonomous categories
- Exploring the gap between linear and classical logic
- Title not available (Why is that?)
- Double categories: a modular model of multiplicative linear logic
- A System of Interaction and Structure II: The Need for Deep Inference
- On the axiomatisation of Boolean categories with and without medial
- On categorical models of classical logic and the Geometry of Interaction
Cited In (8)
- 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
- A System of Interaction and Structure II: The Need for Deep Inference
- A logical basis for quantum evolution and entanglement
- Parameter inference with deep jointly informed neural networks
- Title not available (Why is that?)
- Towards end‐to‐end likelihood‐free inference with convolutional neural networks
- Title not available (Why is that?)
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)
