The lambda-context calculus (extended version)
type: Item
instance of: scholarly article
title: The lambda-context calculus (extended version)
zbMATH Open document ID: 1192.68137
author: Stéphane Lengrand
author: Murdoch J. Gabbay
published in: Information and Computation
publication date: 2009-12-11T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5645356
zbMATH Keywords: lambda-calculus
zbMATH Keywords: calculi of contexts
zbMATH Keywords: functional programming
zbMATH Keywords: binders
zbMATH Keywords: nominal techniques
zbMATH Keywords: explicit substitutions
zbMATH Keywords: capturing substitution
MaRDI profile type: Publication
full work available at URL: j.ic.2009.06.004
OpenAlex ID: W2088018993
cites work: Term Rewriting and All That
cites work: Q4912847
cites work: A calculus of lambda calculus contexts
cites work: Foundations of Software Science and Computational Structures
cites work: Nominal equational logic
cites work: A lambda-calculus for dynamic binding
cites work: Nominal rewriting
cites work: Hierarchical nominal terms and their theory of rewriting
cites work: A Nominal Axiomatization of the Lambda Calculus
cites work: Capture-avoiding substitution as a nominal algebra
cites work: Nominal (Universal) Algebra: Equational Logic with Names and Binding
cites work: One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
cites work: Two-level Lambda-calculus
cites work: A new approach to abstract syntax with variable binding
cites work: Q4411846
cites work: Programming Languages and Systems
cites work: A typed context calculus
cites work: Q4435469
cites work: Enriching the lambda calculus with contexts: toward a theory of incremental program construction
cites work: A Formal Calculus for Informal Equality with Binding
cites work: A calculus of mobile processes. II
cites work: Notions of computation and monads
cites work: Operational reasoning for functions with local state
cites work: Q2721104
cites work: Explicit environments
cites work: Q2763701
cites work: Computer Science Logic
cites work: Parallel reductions in \(\lambda\)-calculus
cites work: Q4799892
cites work: Nominal unification
cites work: Modal Foundations for Predicate Logic
cites work: Q4789460
DOI: 10.1016/J.IC.2009.06.004
description: scientific article; zbMATH DE number 5645356