Pages that link to "Item:Q6171751"
From MaRDI portal
The following pages link to Call-by-value combinatory logic and the lambda-value calculus (Q6171751):
Displaying 14 items.
- A formal equational theory for call-by-push-value (Q1791198) (← links)
- Positive supercompilation for a higher-order call-by-value language (Q2786119) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- The Value-Passing Calculus (Q2842635) (← links)
- The Call-by-Need Lambda Calculus, Revisited (Q2892724) (← links)
- (Q3024851) (← links)
- (Q4448358) (← links)
- (Q4499189) (← links)
- (Q4600771) (← links)
- The call-by-value λ-calculus: a semantic investigation (Q4719353) (← links)
- (Q4986734) (← links)
- (Q4992391) (← links)
- Standardization of a Call-By-Value Lambda-Calculus (Q5277841) (← links)
- Extended call-by-push-value: reasoning about effectful programs and evaluation order (Q6091305) (← links)