Pages that link to "Item:Q6487309"
From MaRDI portal
The following pages link to Computational Category-Theoretic Rewriting (Q6487309):
Displaying 7 items.
- Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- Rewriting in Operads and PROPs (Q3549575) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- Presenting a Category Modulo a Rewriting System (Q5277873) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)
- Graph rewriting for graph neural networks (Q6535524) (← links)