category: reference J. M. E. Hyland, 27.11.2012, Classical lambda calculus in modern dress, [ arXiv:1211.5762](http://arxiv.org/abs/1211.5762)