The following pages link to (Q5423981):
Displayed 7 items.
- Intermutation (Q421481) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- Extension without cut (Q714731) (← links)
- On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Understanding the small object argument (Q5891786) (← links)
- Understanding the small object argument (Q5896982) (← links)