Pages that link to "Item:Q5878918"
From MaRDI portal
The following pages link to Untyped lambda-calculus with input-output (Q5878918):
Displaying 7 items.
- Program equivalence in a simple language with state (Q456473) (← links)
- (Q3024838) (← links)
- (Q3138540) (← links)
- A partial evaluator for the untyped lambda-calculus (Q4939696) (← links)
- (Q5377471) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)
- Preorder-constrained simulations for program refinement with effects (Q6666773) (← links)