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)

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)

Is this relevant?

2005

2005

- Maribel Fernández, Ian Mackie, François-Régis Sinot
- Applicable Algebra in Engineering, Communication…
- 2005

We present a name free λ-calculus with explicit substitutions, based on a generalised notion of director strings. Terms are… (More)

Is this relevant?

2005

2005

- François-Régis Sinot
- J. Log. Comput.
- 2005

The representation of free variables is crucial for the efficiency of the implementation of various kinds of rewrite systems. We… (More)

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)

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)

Is this relevant?

1993

1988

1988

- Richard Kennaway, M. Ronan Sleep
- ACM Trans. Program. Lang. Syst.
- 1988

A simple calculus (the Director String Calculus-DSC) for expressing abstractions is introduced, which captures the essence of the… (More)

Is this relevant?