The following pages link to Term Rewriting and Applications (Q5703848):
Displaying 12 items.
- Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus (Q283739) (← links)
- 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)
- Control categories and duality: On the categorical semantics of the lambda-mu calculus (Q2719799) (← 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)
- Call-by-value is dual to call-by-name (Q5261275) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
- Normalization in the simply typed -calculus (Q5889885) (← links)
