1 - Introduction to Λ-trees
Chiswell, Ian (1948-....)

Cote : [20 CHI 01]

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

Cote : [05 HIN 86]

3 - 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]

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

Cote : [05 BAR 81]