Pages that link to "Item:Q1853595"
From MaRDI portal
The following pages link to Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595):
Displayed 4 items.
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
- Confluence proofs of lambda-mu-calculi by Z theorem (Q2062209) (← links)
- Strong normalization proof with CPS-translation for second order classical natural deduction (Q4650260) (← links)
- (Q5856422) (← links)