The following pages link to (Q5714454):
Displaying 8 items.
- Strong normalization proofs by CPS-translations (Q845711) (← links)
- Reduction rules for intuitionistic \(\lambda\rho\)-calculus (Q897480) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
- Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus (Q2129992) (← links)
- Why the usual candidates of reducibility do not work for the symmetric \(\lambda\mu\)-calculus (Q2851698) (← links)
- (Q4472466) (← links)
- Typed Lambda Calculi and Applications (Q5704007) (← links)