1 - Combinatory logic. Volume 1
Curry, Haskell Brooks (1900-1982)   /   Feys, Robert (1889-1961)   /   Craig, William (1918-....)

Cote : [05 CUR 58-1]

2 - Combinatory logic. Volume 2
Curry, Haskell Brooks (1900-1982)   /   Seldin, Jonathan Paul   /   Hindley, James Roger (1939-....)

Cote : [05 CUR 72-2]

3 - Introduction to combinators and lambda-calculus
Hindley, James Roger (1939-....)   /   Seldin, Jonathan Paul

Cote : [05 HIN 86]

4 - Lambda-calculus and computer science theory : proceedings of the symposium held in Rome March 25-27, 1975
Böhm, Corrado (1923-....) (Ed.)

Cote : [05 BOH 75]