Pages that link to "Item:Q1799109"
From MaRDI portal
The following pages link to From syntactic proofs to combinatorial proofs (Q1799109):
Displaying 4 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)
