The following pages link to Elena Machkasova (Q1944118):
Displayed 7 items.
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) (← links)
- Computational Soundness of a Call by Name Calculus of Recursively-scoped Records (Q2873682) (← links)
- Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings (Q2958387) (← links)
- A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case (Q3522027) (← links)
- (Q4518885) (← links)
- Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq (Q5178823) (← links)
- Simulation in the call-by-need lambda-calculus with letrec (Q5389151) (← links)