Pages that link to "Item:Q5741579"
From MaRDI portal
The following pages link to Proof nets and semi-star-autonomous categories (Q5741579):
Displaying 5 items.
- Coherence in linear predicate logic (Q1011758) (← links)
- Generalised Proof-Nets for Compact Categories with Biproducts (Q3560838) (← links)
- Combinatorial flows and their normalisation (Q5111329) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- From Proof Nets to the Free *-Autonomous Category (Q5310668) (← links)