Pages that link to "Item:Q5741579"

The following pages link to Proof nets and semi-star-autonomous categories (Q5741579):

Displaying 3 items.

• Coherence in linear predicate logic (Q1011758) (← links)
• (Q5111329) (← links)
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)