1 - The lambda calculus. Its syntax and semanticsBarendregt, Hendrik Pieter (1947-....)Cote : [05 BAR 81]