Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti and Makoto Tatsuta
ACM Transactions on Computational Logic Dec 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 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 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]
Conference
Infinite reductions are insensible to lambda-term identity or difference
Mariangiola Dezani and Makoto Tatsuta
Infinity Symposium, March 21--22, 2006, Vrije Universiteit Amsterdam Mar 2006
Different Substitution Theorem
Makoto Tatsuta and Mariangiola Dezani-Ciancaglini
Workshop on Linear Logic, Proof Theory and Computer Science, March 16--17, 2006, Keio University Mar 2006
Martin-Lof's type theory with permutative reductions
M. Tatsuta
Stanford Logic Seminar May 2004
A simple proof of strong normalization with permutative conversions
Following