Pages that link to "Item:Q4948037"
From MaRDI portal
The following pages link to Lambda terms for natural deduction, sequent calculus and cut elimination (Q4948037):
Displayed 3 items.
The following pages link to Lambda terms for natural deduction, sequent calculus and cut elimination (Q4948037):
Displayed 3 items.