Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

8 relations
Analysis of algorithmsBeta normal formComputationExplicit substitution
Expand

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1993
1993
Capturing Strong Reduction in Director String Calculus
Abstract A modified version of director string calculus (MDSC) is introduced which preserves the applicative structure of the… Expand
1993
1993
On strong reduction in director string calculus
............................................................................................................... iii LIST OF… Expand
  • figure 3.1
  • figure 3.2
  • figure 3.3
  • figure 3.4
  • figure 4.1
1990
1990
Computation in director string calculus
 
  • figure 2.1
  • figure 2.3
  • figure 2.4
  • figure 2.5
  • figure 2.6
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… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 7
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE