Explicit substitution

Known as: Λσ calculus, Λσ-calculus 
In computer science, lambda calculi are said to have explicit substitutions if they pay special attention to the formalization of the process of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
This paper recounts the origins of the λx family of calculi of explicit substitution with proper variable names, including the… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
In a previous paper, Benaissa, Lescanne, and Rose, have extended the weak lambda-calculus of explicit substitution λσw with… (More)
  • figure 1
  • figure 4
  • figure 5
Is this relevant?
2005
2005
We present a simple term language with explicit operators for erasure, duplication and substitution enjoying a sound and complete… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
Herbelin presented (at CSL’94) a simple sequent calculus for minimal implicational logic, extensible to full firstorder… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Higher-order uni cation is equational uni cation for -conversion. But it is not rst-order equational uni cation, as substitution… (More)
Is this relevant?
Review
1997
Review
1997
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important… (More)
Is this relevant?
1996
1996
In this paper, we generalise the notion of explicit substitution from the-calculus to higher order rewriting, realised by… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This paper gives a systematic description of several calculi of explicit substitutions. These systems are orthogonal and have… (More)
Is this relevant?
1993
1993
This paper starts by setting the ground for a lambda calculus notation that strongly mirrors the two fundamental operations of… (More)
  • figure 1
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
 
Is this relevant?