Pages that link to "Item:Q3178293"
From MaRDI portal
The following pages link to Continuation Models for the Lambda Calculus With Constructors (Q3178293):
Displaying 6 items.
- Enriching the lambda calculus with contexts: toward a theory of incremental program construction (Q2817703) (← links)
- On constructor rewrite systems and the lambda calculus (Q2904629) (← links)
- A Lambda-Calculus with Constructors (Q3527294) (← links)
- The λ-calculus with constructors: Syntax, confluence and separation (Q3644936) (← links)
- (Q4499270) (← links)
- (Q4806298) (← links)