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):

Displaying 2 items.

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