10コメント2KB

構成的プログラミング・型理論

■ このスレッドは過去ログ倉庫に格納されています

0001デフォルトの名無しさん

2012/02/27(月) 07:38:25.57

GiradのF、CoC、LF、ML：λ-Cube.
AczelのFreage構造、Femermanの理論、林・中野のPX：構成的数学.

■ このスレッドは過去ログ倉庫に格納されています