Pages that link to "Item:Q2478554"
From MaRDI portal
The following pages link to Cut elimination for a simple formulation of epsilon calculus (Q2478554):
Displaying 8 items.
- A termination proof for epsilon substitution using partial derivations (Q1401363) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Cut-elimination for \(\omega_{1}\) (Q1799034) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- An Addition to “Cut Elimination in ε-Calculi” (Q3469101) (← links)
- Cut Elimination in ε‐Calculi (Q5896367) (← links)
- Cut Elimination in ε‐Calculi (Q5896461) (← links)
- Cut elimination for a calculus with context-dependent rules (Q5945008) (← links)