Pages that link to "Item:Q1208732"

The following pages link to Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi (Q1208732):

Displaying 10 items.

• On the form of witness terms (Q982183) (← links)
• Representing scope in intuitionistic deductions (Q1274448) (← links)
• New Curry-Howard terms for full linear logic (Q1390952) (← links)
• Structural cut elimination. I: Intuitionistic and classical logic (Q1854335) (← links)
• Conservation and uniform normalization in lambda calculi with erasing reductions (Q1854562) (← links)
• Pattern matching as cut elimination (Q1882898) (← links)
• Strong normalization and typability with intersection types (Q1924327) (← links)
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
• On structuring proof search for first order linear logic (Q2503319) (← links)
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)