Public Professor Archive
東京電機大学 · 理工学部 / 理工学研究科
研究关键词プログラミング言語・Programming language logic semantics types・意味論・論理学・ラムダ計算・型理論・カリー・ハワード同型・T-代数
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。
个性化匹配理由、联系角度与收藏保存需要登录后使用。
