The following pages link to (Q5144641):
Displaying 11 items.
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Space in Monoidal Categories (Q3384956) (← links)
- Universal Properties in Quantum Theory (Q3385637) (← links)
- Open Diagrams via Coend Calculus (Q5019661) (← links)
- (Q5019686) (← links)
- Causal inference via string diagram surgery (Q5076389) (← links)
- (Q5091270) (← links)
- Cornering Optics (Q6150147) (← links)
