Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings

摘要

Our motivation is the question whether the lazy lambda calculus, a pure lambda calculus with the leftmost outermost rewriting strategy, considered under observational semantics, or extensions thereof, are an adequate model for semantic equivalences in rea