Expedited Broda-Damas Bracket Abstraction
Bunder, M. W.
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 1850-1857 / Harvested from Project Euclid
A bracket abstraction algorithm is a means of translating $\lambda$-terms into combinators. Broda and Damas, in [1], introduce a new, rather natural set of combinators and a new form of bracket abstraction which introduces at most one combinator for each $\lambda$-abstraction. This leads to particularly compact combinatory terms. A disadvantage of their abstraction process is that it includes the whole Schonfinkel [4] algorithm plus two mappings which convert the Schonfinkel abstract into the new abstract. This paper shows how the new abstraction can be done more directly, in fact, using only 2n - 1 algorithm steps if there are n occurrences of the variable to be abstracted in the term. Some properties of the Broda-Damas combinators are also considered.
Publié le : 2000-12-14
Classification: 
@article{1183746269,
     author = {Bunder, M. W.},
     title = {Expedited Broda-Damas Bracket Abstraction},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 1850-1857},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746269}
}
Bunder, M. W. Expedited Broda-Damas Bracket Abstraction. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  1850-1857. http://gdmltest.u-ga.fr/item/1183746269/