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. Director strings were introduced by Sinot, Fernández and Mackie as a mechanism for understanding and controlling the computational complexity cost of beta reduction.
| Property | Value |
|---|
| dbpprop:abstract
|
- 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. Director strings were introduced by Sinot, Fernández and Mackie as a mechanism for understanding and controlling the computational complexity cost of beta reduction.
|
| dbpprop:reference
| |
| rdfs:comment
|
- 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. Director strings were introduced by Sinot, Fernández and Mackie as a mechanism for understanding and controlling the computational complexity cost of beta reduction.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:disambiguates
of | |
![[RDF Data]](/statics/sw-cube.png)
