酒井 政裕 (SAKAI Masahiro)  Index  Search  Changes  RSS  Login

型理論

型理論

型に関する性質をための形式的体系。

λ→?, ITT_n?, F, CC? 等をはじめとして色々ある。

Last modified:2006/08/20 15:59:16
Keyword(s):
References:[型理論F] [Subtype vs Subset]

メニュー

My Activities

授業関係

その他

検索

最新の20件

2024-01-13
2023-11-03
2023-10-25
2022-06-11
2020-12-31
2020-07-21
2020-05-20
2019-04-06
2018-11-08
2017-09-09
2016-10-14
2016-07-15
2016-04-11
2016-04-07
2015-12-23

Generated by Hiki 2.0.0.pre1 (2014-08-13).
Powered by Ruby 2.2.10-p489 (2018-03-28).
Founded by SAKAI Masahiro.