Conditionals in Lambda-Kalkül

The session as PDF files: colored and black/white Please switch on Java!