Pages that link to "Item:Q2331072"

The following pages link to Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072):

Displaying 3 items.

• Implicit exchange in multiplicative proofnets (Q2719797) (← links)
• Canonicity of proofs in constructive modal logic (Q6541161) (← links)
• Exponentially handsome proof nets and their normalization (Q6657781) (← links)