A braided lambda calculus

DOI10.4204/EPTCS.353.5MaRDI QIDQ6657786zbMATH OpenFDO

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

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

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)