TY  - RPRT
TI  - Lecture notes on the lambda calculus
AU  - Peter Selinger
PY  - 2013
UR  - https://arxiv.org/abs/0804.3434
ID  - 0804.3434
ER  -