Pages that link to "Item:Q2842839"
From MaRDI portal
The following pages link to Reducibility: a ubiquitous method in lambda calculus with intersection types (Q2842839):
Displaying 7 items.
- Typing untyped \(\lambda\)-terms, or reducibility strikes again! (Q1295368) (← links)
- Reduction and introducers in \(d\)-contexts (Q2294543) (← links)
- An upper bound for reduction sequences in the typed \(\lambda\)-calculus (Q2639840) (← links)
- (Q4362909) (← links)
- (Q4794072) (← links)
- Refining reduction in the lambda calculus (Q4880488) (← links)
- Typed Lambda Calculi and Applications (Q5704015) (← links)