Introduction to combinatory logic /
Hindley, James Roger, 1939-
Introduction to combinatory logic / J. Roger Hindley, B. Lercher, Jonathan P. Seldin. - Cambridge : Cambridge University, 1972. - 170 p. ; 24 cm. - London Mathematical Society lecture note series ; v. 7 .
Bibliography: p. 157-162.
05211096979
Lógica combinatoria.
Cálculo Lambda.
Introduction to combinatory logic / J. Roger Hindley, B. Lercher, Jonathan P. Seldin. - Cambridge : Cambridge University, 1972. - 170 p. ; 24 cm. - London Mathematical Society lecture note series ; v. 7 .
Bibliography: p. 157-162.
05211096979
Lógica combinatoria.
Cálculo Lambda.