Pages that link to "Item:Q2703743"
From MaRDI portal
The following pages link to Parallel reduction in type free lambda/mu-calculus (Q2703743):
Displaying 10 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- Compositional Z: confluence proofs for permutative conversion (Q514511) (← links)
- Lambda-calculi for (strict) parallel functions (Q1314269) (← links)
- An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. (Q1853149) (← links)
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595) (← links)
- Confluence proofs of lambda-mu-calculi by Z theorem (Q2062209) (← links)
- Domain-free \(\lambda\mu\)-calculus (Q2729625) (← links)
- (Q4521592) (← links)
- Parallel reductions in \(\lambda\)-calculus (Q5917605) (← links)
- Adding Negation to Lambda Mu (Q6135761) (← links)