The following pages link to Term Rewriting and Applications (Q5703850):
Displaying 5 items.
- Towards a canonical classical natural deduction system (Q1946670) (← links)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- The Duality of Computation under Focus (Q3163882) (← links)
- Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus (Q4982059) (← links)
- Term Rewriting and Applications (Q5703848) (← links)