A braided lambda calculus

DOI10.4204/EPTCS.353.5MaRDI QIDQ6657786FDOQ6657786

Authors: Masahito Hasegawa 

Publication date: 6 January 2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Braided tensor categories
• Fault-tolerant quantum computation by anyons
• Quantum invariants of knots and 3-manifolds
• Theory of braids
• On traced monoidal closed categories
• Combinatorial homotopy. II
• Braid Groups
• Tortile tensor categories
• Explicit substitutions
• A quantum double construction in Rel.
• Theorie der Zöpfe.
• Ribbon tensorial logic
• Title not available (Why is that?)
• A correspondence between rooted planar maps and normal planar lambda terms
• Mathematics of Quantum Computation and Quantum Technology

This page was built for publication: A braided lambda calculus

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