scientific article; zbMATH DE number 7804582

zbMath1530.03158arXiv2103.05191MaRDI QIDQ6153339

Priyaa Varshinee Srinivasan, J. Robin B. Cockett

Publication date: 13 February 2024

Full work available at URL: https://arxiv.org/abs/2103.05191

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Weakly distributive categories
• A categorical framework for the quantum harmonic oscillator
• Natural deduction and coherence for weakly distributive categories
• Dagger Compact Closed Categories and Completely Positive Maps
• Idempotents in Dagger Categories
• Picturing Quantum Processes
• Introduction to linear bicategories
• Introduction to Quantum Mechanics
• ! and ? – Storage as tensorial strength
• A new description of orthogonal bases
• Interacting quantum observables: categorical algebra and diagrammatics
• Categories for Quantum Theory
• Finiteness spaces

This page was built for publication: