The following pages link to (Q3024836):
Displayed 7 items.
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Strong normalization proofs by CPS-translations (Q845711) (← links)
- On the strong normalisation of intuitionistic natural deduction with permutation-conversions (Q1400711) (← links)
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595) (← links)
- Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- Strong normalizability of the non-deterministic catch/throw calculi (Q5958297) (← links)