[pbw]

Does he use the symbol for lambda without saying how to type it or whether there's an ascii equivalent like "lambda"?

[linhchi]

you just type the text "lambda". some editors (emacs, drracket) can automatically convert it to lambda the symbol.