Simulation in the call-by-need lambda-calculus with letrec

DOI10.4230/LIPIcs.RTA.2010.295zbMath1236.68148OpenAlexW2125817339MaRDI QIDQ5389151

Elena Machkasova, David Sabel, Manfred Schmidt-Schauss

Publication date: 25 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_0432.html

zbMATH Keywords

bisimulationsemanticslambda calculuscontextual equivalencecall-by-need

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items (2)

Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec ⋮ Observational program calculi and the correctness of translations

This page was built for publication: Simulation in the call-by-need lambda-calculus with letrec