プログラム板のあちこちで話題になっていた、ここの関数型言語論も
一応完結したようですね。
http://homepage3.nifty.com/Aransk/