The following pages link to (Q4490745):
Displayed 3 items.
- Intuitionistic and classical natural deduction systems with the catch and the throw rules (Q1392143) (← links)
- Non deterministic classical logic: the $\lambda\mu^{++}$-calculus (Q4530146) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)