Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,256,595 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Analysis of algorithms
Beta normal form
Computation
Explicit substitution
Expand
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
M. E. Kinkenon
1993
Corpus ID: 125509210
............................................................................................................... iii LIST OF…
Expand
1993
1993
Capturing Strong Reduction in Director String Calculus
V. Sreedhar
,
K. Taghva
Theoretical Computer Science
1993
Corpus ID: 40708730
1990
1990
Computation in director string calculus
V. Sreedhar
1990
Corpus ID: 86736172
Highly Cited
1988
Highly Cited
1988
Director strings as combinators
R. Kennaway
,
M. Sleep
TOPL
1988
Corpus ID: 15016693
A simple calculus (the Director String Calculus-DSC) for expressing abstractions is introduced, which captures the essence of the…
Expand
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)
ACCEPT & CONTINUE