ラムダ計算のカテゴリー論的モデルに基づいた計算体系 von 横内, 寛文

Volltext

ソフトウェア科学会第5回大会 von 武市, 正人, 筧, 捷彦, 杉村, 領一, 田中, 穂積, 松本, 裕治, 横内, 寛文, 辻, 尚史, 三浦, 欽也, 元田, 浩, 玉井, 哲雄, 小川, 貴英, 戸村, 哲, 川合, 慧, 有澤, 博, 安村, 通晃, 相場, 亮, 寺野, 隆雄, 所, 真理雄, 柴山, 悦哉, 徳田, 雄洋, 村上, 昌己, 田中, 二郎, 溝口, 文雄

Volltext