Pages that link to "Item:Q5505576"
From MaRDI portal
The following pages link to An Algorithmic Interpretation of a Deep Inference System (Q5505576):
Displaying 8 items.
- Cut elimination inside a deep inference system for classical predicate logic (Q817702) (← links)
- Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
- Linear Lambda Calculus and Deep Inference (Q3007666) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Contextual Natural Deduction (Q3455860) (← links)
- Type Similarity for the Lambek-Grishin Calculus Revisited (Q5414956) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)
- A deep inference system with a self-dual binder which is complete for linear lambda calculus (Q5739978) (← links)