On generic context lemmas for higher-order calculi with sharing
type: Item
instance of: scholarly article
title: On generic context lemmas for higher-order calculi with sharing
zbMATH Open document ID: 1191.68165
author: David Sabel
author: Manfred Schmidt-Schauß
published in: Theoretical Computer Science
publication date: 2010-03-29T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5687507
zbMATH Keywords: lambda calculus
zbMATH Keywords: observational semantics
zbMATH Keywords: context Lemma
zbMATH Keywords: functional programming languages
describes a project that uses: Fudgets
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.12.001
OpenAlex ID: W2051507754
Wikidata QID: Q124828671
cites work: Explicit substitutions
cites work: The call-by-need lambda calculus
cites work: Q4222931
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
cites work: The revised report on the syntactic theories of sequential control and state
cites work: Operational techniques in PVS -- a preliminary evaluation
cites work: Formal foundations of operational semantics
cites work: Bisimilarity as a theory of functional programming
cites work: Q3204055
cites work: Proving congruence of bisimulation in functional programming languages
cites work: Full Abstraction and the Context Lemma
cites work: A non-deterministic call-by-need lambda calculus
cites work: Relational reasoning about contexts
cites work: Congruence of bisimulation in a non-deterministic call-by-need lambda calculus
cites work: From operational semantics to domain theory
cites work: Equivalence in functional languages with effects
cites work: Fully abstract models of typed \(\lambda\)-calculi
cites work: Q4248252
cites work: Erratic Fudgets: A semantic theory for an embedded coordination language
cites work: Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
cites work: A concurrent lambda calculus with futures
cites work: Operational reasoning for functions with local state
cites work: A Powerdomain Construction
cites work: Fair testing
cites work: A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
cites work: The \(\pi\)-calculus: A theory of mobile processes
cites work: Correctness of Copy in Calculi with Letrec
cites work: Observational program calculi and the correctness of translations
cites work: Safety of Nöcker's strictness analysis
DOI: 10.1016/J.TCS.2009.12.001
description: scientific article; zbMATH DE number 5687507