2010-01-17から1日間の記事一覧

タルスキの不動点とラムダ計算について

関連論文と文献情報: http://crd.ndl.go.jp/GENERAL/servlet/detail.reference?id=1000049843