The following pages link to (Q4222777):
Displayed 7 items.
- 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)
- 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)