The following pages link to Term Rewriting and Applications (Q5703848):
Displayed 9 items.
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- Investigations on the dual calculus (Q2503329) (← links)
- Dualized Simple Type Theory (Q2974773) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- Call-by-Value Is Dual to Call-by-Name, Extended (Q3498450) (← links)
- Dual Calculus with Inductive and Coinductive Types (Q3636828) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
- Normalization in the simply typed -calculus (Q5889885) (← links)