lambda式だの無名関数だの最近はいろんなプログラミング言語で常識になった感があるけど
この辺のプログラム意味論をちゃんと勉強するには何を読めばいいの？