関数型言語ML(SML, OCaml, etc.), Part 5

関数型言語ML(SML, OCaml, etc.), Part 5at TECH

関数型言語ML(SML, OCaml, etc.), Part 5 - 暇つぶし2ch192:デフォルトの名無しさん
08/01/01 18:49:58
ただしCoqではKripke-Joyalの意味論は扱えないのでこのスレの趣旨からは外れますね。
つづきは数学板で質問してください。