A braided lambda calculus
From MaRDI portal
Publication:6657786
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)