The following pages link to Jamie Vicary (Q265830):
Displaying 6 items.
- Topological Structure of Quantum Algorithms (Q5271044) (← links)
- Traced monoidal categories as algebraic structures in $\mathbf{Prof}$ (Q6504643) (← links)
- Computads for weak $\omega$-categories as an inductive type (Q6506429) (← links)
- A layout algorithm for higher-dimensional string diagrams (Q6510069) (← links)
- The theory and applications of anticolimits (Q6519548) (← links)
- homotopy.io: a proof assistant for finitely-presented globular $n$-categories (Q6522672) (← links)
