TY  - RPRT
TI  - Classical lambda calculus in modern dress
AU  - Martin Hyland
PY  - 2013
DO  - 10.1017/s0960129515000377
UR  - https://arxiv.org/abs/1211.5762
ID  - 1211.5762
ER  -