Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
type: Item
instance of: scholarly article
title: Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
zbMATH Open document ID: 1187.68129
author: Matthias Mann
author: Manfred Schmidt-Schauß
published in: Information and Computation
publication date: 2010-04-14T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5692854
zbMATH Keywords: lambda calculus
zbMATH Keywords: contextual equivalence
zbMATH Keywords: call-by-need
zbMATH Keywords: bisimulation
zbMATH Keywords: non-deterministic lambda calculus
zbMATH Keywords: higher-order programming languages
describes a project that uses: Fudgets
MaRDI profile type: Publication
full work available at URL: j.ic.2009.11.003
OpenAlex ID: W1967481987
cites work: An operational semantics for parallel lazy evaluation
cites work: Erratic Fudgets: A semantic theory for an embedded coordination language
cites work: A non-deterministic call-by-need lambda calculus
cites work: A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
cites work: Fully abstract models of typed \(\lambda\)-calculi
cites work: On generic context lemmas for higher-order calculi with sharing
cites work: Q3204055
cites work: Proving congruence of bisimulation in functional programming languages
cites work: Bisimilarity as a theory of functional programming
cites work: A congruence format for name-passing calculi
cites work: Congruence of bisimulation in a non-deterministic call-by-need lambda calculus
cites work: Relational reasoning about contexts
cites work: Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
cites work: The call-by-need lambda calculus
cites work: Safety of Nöcker's strictness analysis
cites work: Q4856176
cites work: Q4255591
cites work: Q3907077
DOI: 10.1016/J.IC.2009.11.003
description: scientific article; zbMATH DE number 5692854