Another algorithm for bracket abstraction
- 1 June 1979
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 44 (2) , 267-270
- https://doi.org/10.2307/2273733
Abstract
This short article presents an algorithm for bracket abstraction [1] which avoids a combinatorial explosion in the size of the resulting expression when applied repeatedly for abstraction in a series of variables. It differs from a previous solution [2] in introducing only a finite number of additional combinators and in not requiring that all the variables to be abstracted be treated together in a single operation.Keywords
This publication has 2 references indexed in Scilit:
- Combinatory Logic. By H. B. Curry and R. Feys. Pp. 417. 42s. 1958. (North Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1960
- Über die Bausteine der mathematischen LogikMathematische Annalen, 1924