The following pages link to (Q4282571):
Displayed 6 items.
- Higher-dimensional word problems with applications to equational logic (Q685405) (← links)
- A folk model structure on omega-cat (Q973942) (← links)
- Interaction systems II: The practice of optimal reductions (Q1350498) (← links)
- (Q4029341) (← links)
- Optimal reductions in interaction systems (Q5044756) (← links)
- Shuffle polygraphic resolutions for operads (Q6134654) (← links)