Pages that link to "Item:Q450950"
From MaRDI portal
The following pages link to Delimited control operators prove double-negation shift (Q450950):
Displaying 6 items.
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- (Q4957791) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- (Q5875427) (← links)
