Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings

DOI10.4230/LIPICS.RTA.2013.239zbMath1356.68037OpenAlexW1509022145MaRDI QIDQ2958387

Elena Machkasova, David Sabel, Manfred Schmidt-Schauss

Publication date: 1 February 2017

Full work available at URL: https://www.ki.informatik.uni-frankfurt.de/papers/frank/frank51.pdf

zbMATH Keywords

conservativitycontextual semanticslazy lambda calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (2)

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

Uses Software

• Haskell

This page was built for publication: Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings