The following pages link to (Q4261096):
Displaying 5 items.
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- Non-commutative linear logic in linguistics (Q700787) (← links)
- Natural deduction for intuitionistic linear logic (Q1891252) (← links)
- 2-Sequent Calculus: Intuitionism and Natural Deduction (Q4286223) (← links)
- (Q4428311) (← links)