scientific article; zbMATH DE number 7804582

zbMATH Open1530.03158arXiv2103.05191MaRDI QIDQ6153339FDOQ6153339

Authors: J. R. B. Cockett, Priyaa Varshinee Srinivasan 

Publication date: 13 February 2024

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cites Work

• Dagger compact closed categories and completely positive maps (extended abstract)
• Interacting quantum observables: categorical algebra and diagrammatics
• Linear logic
• Weakly distributive categories
• Natural deduction and coherence for weakly distributive categories
• The Frobenius relations meet linear distributivity
• Finiteness spaces
• A categorical framework for the quantum harmonic oscillator
• Idempotents in dagger categories (extended abstract)
• A new description of orthogonal bases
• Introduction to linear bicategories
• Categories for Quantum Theory
• ! and ? – Storage as tensorial strength
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Introduction to quantum mechanics
• The Chu construction: history of an idea

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6153339)