The following pages link to (Q4447225):
Displayed 4 items.
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- Computational Soundness of a Call by Name Calculus of Recursively-scoped Records (Q2873682) (← links)
- A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case (Q3522027) (← links)
- (Q4993360) (← links)