Deep Inference and Probabilistic Coherence Spaces

2010/12/22 by Richard Blute, Prakash Panangaden, Sergey Slavnov · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · doi:10.1007/s10485-010-9241-0

openalex publication_date 2010/12/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/27

Citations

• Weakly distributive categories
• Linearly distributive functors
• Natural deduction and coherence for weakly distributive categories
• Linear logic

Cited by

• Cartesian Linearly Distributive Categories: Revisited