The following pages link to Domain-Free<i>λµ</i>-Calculus (Q2729625):
Displayed 8 items.
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types (Q690505) (← links)
- Strong normalization proofs by CPS-translations (Q845711) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595) (← links)
- Confluence proofs of lambda-mu-calculi by Z theorem (Q2062209) (← links)
- Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
- Strong normalization proof with CPS-translation for second order classical natural deduction (Q4650260) (← links)