The following pages link to Robin Houston (Q2457283):
Displayed 7 items.
- Finite products are biproducts in a compact closed category (Q2457284) (← links)
- Proof equivalence in MLL is PSPACE-complete (Q2790165) (← links)
- No proof nets for MLL with units (Q4635635) (← links)
- Linear Logic without Units (Q6241804) (← links)
- Tackling the Minimal Superpermutation Problem (Q6254100) (← links)
- A New Formula for the Determinant and Bounds on Its Tensor and Waring Ranks (Q6423538) (← links)
- Modelling Linear Logic Without Units (Preliminary Results) (Q6475332) (← links)