The following pages link to (Q4263877):
Displaying 9 items.
- Static typing for a substructural lambda calculus (Q352080) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Non-commutative linear logic in linguistics (Q700787) (← links)
- Natural deduction for non-classical logics (Q1577342) (← links)
- A first-order one-pass CPS transformation (Q1884883) (← links)
- Natural deduction for intuitionistic linear logic (Q1891252) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Clones, closed categories, and combinatory logic (Q6629524) (← links)
- Normalization by evaluation for the lambek calculus (Q6659901) (← links)