# Explicit substitution

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- Journal of Automated Reasoning
- 2011

This paper recounts the origins of the Î»x family of calculi of explicit substitution with proper variable names, including theâ€¦Â (More)

Is this relevant?

2007

2007

- Higher-Order and Symbolic Computation
- 2007

In a previous paper, Benaissa, Lescanne, and Rose, have extended the weak lambda-calculus of explicit substitution Î»Ïƒw withâ€¦Â (More)

Is this relevant?

2005

2005

- RTA
- 2005

We present a simple term language with explicit operators for erasure, duplication and substitution enjoying a sound and completeâ€¦Â (More)

Is this relevant?

2003

2003

- J. Log. Comput.
- 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

- Inf. Comput.
- 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

- 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

- RTA
- 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

- 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

- Int. J. Found. Comput. Sci.
- 1993

This paper starts by setting the ground for a lambda calculus notation that strongly mirrors the two fundamental operations ofâ€¦Â (More)

Is this relevant?

Highly Cited

1991