The following pages link to (Q4472466):
Displaying 10 items.
- Strong normalization of \(\mathsf{ML}^{\mathsf F}\) via a calculus of coercions (Q764331) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Strong normalization of a symmetric lambda calculus for second-order classical logic (Q1407527) (← links)
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
- A symmetric lambda calculus for classical program extraction (Q1917084) (← links)
- Investigations on the dual calculus (Q2503329) (← links)
- Dual Calculus with Inductive and Coinductive Types (Q3636828) (← links)
- Asymptotically almost all \lambda-terms are strongly normalizing (Q4913764) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
- (Q5714454) (← links)
