Lambda calculusについては、なぜlambdaなのだろうと疑問に思っていた。 なぜlambdaなのかについて、その理由はよく知られているようだが、私は知らなかった。 以下の文献の初めの辺りを、先程横になりながらつらつらと読んでいると、その理由が出てきている…