A braided lambda calculus

DOI10.4204/eptcs.353.5MaRDI QIDQ6657786

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

• Unnamed Item
• Braided tensor categories
• Tortile tensor categories
• Theorie der Zöpfe.
• Fault-tolerant quantum computation by anyons
• Theory of braids
• A quantum double construction in Rel
• A correspondence between rooted planar maps and normal planar lambda terms
• On traced monoidal closed categories
• Explicit substitutions
• Ribbon Tensorial Logic
• Mathematics of Quantum Computation and Quantum Technology
• Braid Groups
• Combinatorial homotopy. II
• Quantum invariants of knots and 3-manifolds

This page was built for publication: A braided lambda calculus