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… 
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)