研究課題
基盤研究(C)
置換簡約やその関連概念を用いて論理体系および型付ラムダ計算を拡張した体系について、それを構築し、その基本性質を明らかにした。特に、共通型の型同形を特徴付け,非可換一階シーケント計算の性質,multiple quantifierをもつ型付ラムダ計算の型推論の性質,型理論Fの内部的decompiler-normalizerの性質,遺伝的置換子の型理論による特徴付けを証明した。
すべて 2010 2009 2008 2007
すべて 雑誌論文 (8件) (うち査読あり 8件) 学会発表 (1件)
Chicago Journal of Theoretical Computer Science Article 7
Annals of Pure and Applied Logic 161(11)
ページ: 1390-1399
ACM Transactions on Computational Logic 11(4) Article No 25
Lecture Notes in Computer Science(In : Proceedings of Tenth International Symposium on Functional and Logic Programming (FLOPS 2010)) 6009
ページ: 207-223
Lecture Notes in Computer Science(In : Proceedings of 18th EACSL Annual Conference on Computer Science Logic (CSL2009)) 5771
ページ: 470-484
Annals of Pure and Applied Logic 153(1-3)
ページ: 21-37
In : Proceedings of Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS2008)
ページ: 83-92
Lecture Notes in Computer Science(In : Proceedings of 8th International Conference on Typed Lambda Calculi and Applications (TLCA 2007)) 4583
ページ: 366-380