Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
type: Item
instance of: scholarly article
title: Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
zbMATH Open document ID: 1260.68075
author: Manfred Schmidt-Schauß
author: David Sabel
author: Elena Machkasova
published in: Information Processing Letters
publication date: 2013-04-04T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6150427
zbMATH Keywords: contextual semantics
zbMATH Keywords: formal semantics
zbMATH Keywords: programming calculi
zbMATH Keywords: program correctness
describes a project that uses: Fudgets
MaRDI profile type: Publication
full work available at URL: j.ipl.2011.04.011
OpenAlex ID: W1967442686
cites work: Q3204055
cites work: Amb Breaks Well-Pointedness, Ground Amb Doesn't
cites work: Congruence of bisimulation in a non-deterministic call-by-need lambda calculus
cites work: Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
cites work: Equivalence in functional languages with effects
cites work: Erratic Fudgets: A semantic theory for an embedded coordination language
cites work: The expressive power of indeterminate primitives in asynchronous computation
cites work: A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
cites work: A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case
cites work: On generic context lemmas for higher-order calculi with sharing
cites work: Simulation in the call-by-need lambda-calculus with letrec
cites work: Safety of Nöcker's strictness analysis
Wikidata QID: Q124810604
DOI: 10.1016/J.IPL.2011.04.011
description: scientific article; zbMATH DE number 6150427