ラムダ計算のλの由来

http://blade.nagaokaut.ac.jp/~poffice/news/fj.sci.math/1085
(http://d.hatena.ne.jp/sumim/20051019/p1とか、http://d.hatena.ne.jp/soutaro/20051019/1129692399経由)
しらんかった…「λ」は束縛変数をキャレット付けて表現したのが最初だったのか。語源なんて考えたことなかったよ。びっくり。
しってた？