2010-01-17 タルスキの不動点とラムダ計算について 数学 メモ 関連論文と文献情報: http://crd.ndl.go.jp/GENERAL/servlet/detail.reference?id=1000049843