Pages that link to "Item:Q1392143"

The following pages link to Intuitionistic and classical natural deduction systems with the catch and the throw rules (Q1392143):

Displayed 2 items.

• Intuitionistic Letcc via Labelled Deduction (Q4982116) ‎ (← links)
• Strong normalizability of the non-deterministic catch/throw calculi (Q5958297) ‎ (← links)