The following pages link to Homology of proof-nets (Q1330310):
Displaying 11 items.
- On the Jordan-Hölder decomposition of proof nets (Q1386676) (← links)
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- Proof nets of PN as graphs (Q1805403) (← links)
- The additive multiboxes (Q1861326) (← links)
- Implicit exchange in multiplicative proofnets (Q2719797) (← links)
- Topological perspective on the hybrid proof rules (Q2867949) (← links)
- Generalised Proof-Nets for Compact Categories with Biproducts (Q3560838) (← links)
- Formal Theories are Acyclic (Q3749042) (← links)
- (Q4842978) (← links)
- From Proof Nets to the Free *-Autonomous Category (Q5310668) (← links)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)