Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, and Hiroshi Nakano
Annals of Pure and Applied Logic to appear Mar 2010 [Refereed]
On Isomorphisms of Intersection Types (共著)
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti and Makoto Tatsuta
ACM Transactions on Computational Logic Dec 2009 [Refereed]
Completeness of Pointer Program Verification by Separation Logic
M. Tatsuta, W.N. Chin, and M.F. Al Ameen
Proceeding of 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) 179-188 Nov 2009 [Refereed]
Non-Commutative First-Order Sequent Calculus
Makoto Tatsuta
Proceedings of 18th EACSL Annual Conference on Computer Science Logic (CSL2009), Lecture Notes in Computer Science 5771 470-484 Sep 2009 [Refereed]
Dual Calculus with Inductive and Coinductive Types (共著)
Daisuke Kimura and Makoto Tatsuta
Proceedings of 20th International Conference on Rewriting Techniques and Applications (RTA 09), Lecture Notes in Computer Science 5595 224-238 Jun 2009 [Refereed]
Type Checking and Inference for Polymorphic and Existential Types (共著)
Koji Nakazawa and Makoto Tatsuta
Proceedings of The 15th Computing: The Australasian Theory Symposium (CATS2009), Conferences in Research and Practice in Information Technology 94 61-69 Jan 2009 [Refereed]
On Isomorphisms of Intersection Types (共著)
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
Proceedings of 17th EACSL Annual Conference on Computer Science Logic (CSL2008), Lecture Notes in Computer Science 5213 461-477 Sep 2008 [Refereed]
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (共著)
Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, and Hiroshi Nakano
Proceedings of 17th EACSL Annual Conference on Computer Science Logic (CSL2008), Lecture Notes in Computer Science 5213 478-492 Sep 2008 [Refereed]
Second-Order Logic without Implication nor Disjunction
Makoto Tatsuta
Proceedings of 10th Asian Logic Conference (ALC 10), Bulletin of Symbolic Logic Sep 2008 [Refereed]
Inhabitance of Existential Types is Decidable in Negation-Product Fragment (共著)
Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, and Hiroshi Nakano
Proceedings of 2nd International Workshop on Classical Logic and Computation (CLC2008) Jul 2008 [Refereed]
