研究課題
基盤研究(C)
圏論に基づいた新しい計算体系の研究を行った。プログラミング言語の基礎となる計算体系であるラムダ計算と、数学の基礎理論である圏論との関連は古くから知られている。当研究は、圏論を計算体系として再構成することで、数学的に確たる基盤をもった計算体系を構築することを目的とした研究の一環である。特に古典的リニア・カテゴリ上に計算規則を導入した体系を考案し、その性質の研究を行った。
すべて 2010 2008
すべて 雑誌論文 (1件) 学会発表 (2件)
A.Pure Appl.Logic (in printing)
