The following pages link to (Q4222777):
Displaying 10 items.
- Loop-free calculus for modal logic S4. II (Q392998) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Light types for polynomial time computation in lambda calculus (Q1004289) (← links)
- Safe recursion with higher types and BCK-algebra (Q1577481) (← links)
- Connectionist computations of intuitionistic reasoning (Q2503271) (← links)
- Path calculus in the modal logic S4 (Q2571516) (← links)
- A modal view of linear logic (Q4314678) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- Primitive recursion for higher-order abstract syntax (Q5958752) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
