Pages that link to "Item:Q3130548"
From MaRDI portal
The following pages link to Globular: an online proof assistant for higher-dimensional rewriting (Q3130548):
Displayed 5 items.
- Graphs, foams, tensors, polytopes, and homology (Q4692250) (← links)
- DisCoPy: Monoidal Categories in Python (Q5019676) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Graphical calculus of Hopf crossed modules (Q5160564) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)