Director string

Known as: Director 
In mathematics, in the area of lambda calculus and computation, directors or director strings are a mechanism for keeping track of the free variables… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1988-2005
012319882005

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
Representing a λ-calculus term as a DAG rather than a tree allows us to represent the sharing that arises from β-reduction, thus… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
We present a name free λ-calculus with explicit substitutions, based on a generalised notion of director strings. Terms are… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
The representation of free variables is crucial for the efficiency of the implementation of various kinds of rewrite systems. We… (More)
  • figure 1
  • figure 2
Is this relevant?
2004
2004
If we represent a λ-calculus term as a DAG rather than a tree, we can efficiently represent the sharing that arises from… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2003
2003
We present a name free λ-calculus with explicit substitutions based on a generalized notion of director strings: we annotate a… (More)
  • figure 1
Is this relevant?
1988
1988
A simple calculus (the Director String Calculus-DSC) for expressing abstractions is introduced, which captures the essence of the… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 7
Is this relevant?