[plt-scheme] Why "lambda"?

From: Dave Herman (dherman at ccs.neu.edu)
Date: Tue May 26 11:14:35 EDT 2009

Todd O'Bryan wrote:
> Does anyone know if Church had anything in mind for lambda to stand
> for, or was it just an arbitrary choice?

page 7:
http://www-maths.swan.ac.uk/staff/jrh/papers/JRHHislamWeb.pdf

page 182:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.7908

Dave


Posted on the users mailing list.