Pages that link to "Item:Q2873682"

The following pages link to Computational Soundness of a Call by Name Calculus of Recursively-scoped Records (Q2873682):

Displayed 2 items.

• 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)