Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Analysis of algorithmsBeta normal formComputationExplicit substitution

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1993
1993
On strong reduction in director string calculus
............................................................................................................... iii LIST OF… 
1993
1993
Capturing Strong Reduction in Director String Calculus
1990
1990
Computation in director string calculus
Highly Cited
1988
Highly Cited
1988
Director strings as combinators
A simple calculus (the Director String Calculus-DSC) for expressing abstractions is introduced, which captures the essence of the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)