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

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

関数型言語ML(SML, OCaml, etc.), Part 5 - 暇つぶし2ch186:デフォルトの名無しさん
08/01/01 18:09:02
>>182
シミロン読んでるんですが、高階論理をトポスに対応させて
いるところを Curry-Howard 同型と考えていいわけですか？