Lambda calculus lies at the very foundation of computer science. Besides its historical role in computability theory, it has had significant influence on programming language design. This text, written from a systems perspective, emphasizes the practical relevance of its key theoretical ideas.