Jump to content

Director string

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Linas (talk | contribs) at 03:03, 8 April 2008 (start a stub). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

This article is actively undergoing a major edit for a little while. To help avoid edit conflicts, please do not edit this page while this message is displayed.
This page was last edited at 03:03, 8 April 2008 (UTC) (17 years ago) – this estimate is cached, update. Please remove this template if this page hasn't been edited for a significant time. If you are the editor who added this template, please be sure to remove it or replace it with {{Under construction}} between editing sessions.

In mathematics, in the area of lambda calculus and computation, directors or director strings are a mechanism for keeping track of the free variables in a term.^[1]

Specifically, assume that a term takes the form

f(t_{1},t_{2},\cdots ,t_{n})

where f is a function, of arity n, with no free variables, and the $t_{i}$ are terms that may or may not have

References

^ F.-R. Sinot. "Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting." Journal of Logic and Computation 15(2), pages 201-218, 2005.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Director_string&oldid=204138142"

Lambda calculus

Hidden category:

Pages actively undergoing a major edit