Pages that link to "Item:Q733755"

The following pages link to The \(\lambda \)-calculus and the unity of structural proof theory (Q733755):

Displaying 2 items.

• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic (Q1725847) (← links)
• The polarized \(\lambda\)-calculus (Q1744450) (← links)