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

Cote : [05 CUR 72-2]

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

Cote : [05 HIN 86]