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

Cote : [05 HIN 86]

2 - Logic colloquium '82 : proceedings of the colloquium held in Florence, August 23--28, 1982
Lolli, G. (Ed.)   /   Marcja, Annalisa (Ed.)   /   Longo, Giuseppe (Ed.)

Cote : [05 LOL 84]

3 - The lambda calculus. Its syntax and semantics
Barendregt, Hendrik Pieter (1947-....)

Cote : [05 BAR 81]