The following pages link to (Q4447225):
Displaying 5 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)
- (Q4737324) (← links)
- Nominal unification with atom and context variables (Q4993360) (← links)