de Bruijn, N. G. Lambda calculus with namefree formulas involving symbols that represent reference transforming mappings. (English) Zbl 0393.03009 Nederl. Akad. Wet., Proc. Ser. A 81, 348-356 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 10 Documents MSC: 03B40 Combinatory logic and lambda calculus Keywords:Lambda Calculus PDF BibTeX XML Cite \textit{N. G. de Bruijn}, Nederl. Akad. Wet., Proc., Ser. A 81, 348--356 (1978; Zbl 0393.03009) OpenURL