Lambda-Calculus and Computer Science Theory