The following pages link to (Q4808736):
Displaying 8 items.
- Braids via term rewriting (Q2422032) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- (Q4625697) (← links)
- Proof Pearl: Abella Formalization of λ-Calculus Cube Property (Q4916060) (← links)
- Optimality and the linear substitution calculus (Q5111304) (← links)
- A sequent calculus for a semi-associative law (Q5111331) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898168) (← links)