Pages that link to "Item:Q2958387"

The following pages link to Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings (Q2958387):

Displaying 2 items.

• Observational program calculi and the correctness of translations (Q2339472) (← links)
• Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (Q5240138) (← links)