研究課題
基盤研究(C)
置換簡約やその関連概念を用いて論理体系および型付ラムダ計算を拡張した体系について、それを構築し、その基本性質を明らかにした。特に、共通型の型同形を特徴付け,非可換一階シーケント計算の性質,multiple quantifierをもつ型付ラムダ計算の型推論の性質,型理論Fの内部的decompiler-normalizerの性質,遺伝的置換子の型理論による特徴付けを証明した。
すべて 2011 2010 2009 2008 2007
すべて 雑誌論文 (21件) (うち査読あり 21件) 学会発表 (1件)
Proceedings of 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011) 81--92.
巻: 全1巻 ページ: 81-92
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
Chicago Journal of Theoretical Computer Science
巻: (Article 7)
Lecture Notes in Computer Science
巻: 6009 ページ: 207-223
ACM Transactions on Computational Logic (to appear)
\em Annals of Pure and Applied Logic (to appear)
ACM Transactions on Computational Logic (出版確定)
Annals of Pure and Applied Logic (出版確定)
Lecture Notes in Computer Science(In : Proceedings of 18th EACSL Annual Conference on Computer Science Logic (CSL2009)) 5771
ページ: 470-484
Lecture Notes in Computer Science 5771
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
Proceedings of Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008)
Leeture Notes in Computer Science 5213
ページ: 461-477
Lecture Notes in Computer Science(In : Proceedings of 8th International Conference on Typed Lambda Calculi and Applications (TLCA 2007)) 4583
ページ: 366-380
Lecture Notes in Computer Science 4583
Lecture Notes in Computer Science 4533
ページ: 359-373
