The following pages link to (Q4954443):
Displayed 10 items.
- Pedagogical second-order \(\lambda \)-calculus (Q732007) (← links)
- The Cooper storage idiom (Q1711505) (← links)
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595) (← links)
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- Quantifiers in Japanese (Q3623834) (← links)
- An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
- Strong normalization proof with CPS-translation for second order classical natural deduction (Q4650260) (← links)
- Programming and Proving with Classical Types (Q5055999) (← links)
- The approximation theorem for the Λμ-calculus (Q5268997) (← links)