The following pages link to (Q4490747):
Displayed 10 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
- Intuitionistic and classical natural deduction systems with the catch and the throw rules (Q1392143) (← links)
- Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- (Q4957789) (← links)
- (Q5015364) (← links)
- Normalization in the simply typed -calculus (Q5889885) (← links)