Pages that link to "Item:Q812102"
From MaRDI portal
The following pages link to Types of I-free hereditary right maximal terms (Q812102):
Displaying 7 items.
- Two beta-equal lambda-I-terms with no types in common (Q672135) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
- A lambda proof of the P-W theorem (Q2710612) (← links)
- The \(I\)-types of system \(\mathcal F\) (Q2773020) (← links)
- On the decidability of implicational ticket entailment (Q4916555) (← links)
- Ticket Entailment is decidable (Q4925031) (← links)
