Pages that link to "Item:Q1168318"

The following pages link to Preservation of equivalence of derivations under reduction of depth of formulas (Q1168318):

Displaying 2 items.

• Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
• Reductions in Intuitionistic Linear Logic (Q4882488) (← links)