Recent Papers (including drafts)

1. Takafumi Sakurai: Strong Normalizability of Calculus of Explicit Substitutions with Composition, draft
2. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, and Atsushi Igarashi: Calculi of Mata-varaibles, Proceedings of 17th International Workshop Computer Science Logic 2003 (eds. M. Baaz and J. A. Makowsky), LNCS 2803, pp. 509 -- 524. (Revised version)
3. Masahiko Sato, Takafumi Sakurai, and Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-Class Environments, The Journal of Functional and Logic Programming, vol. 2002, no. 4, pp. 1 -- 41, 2002.
4. Takafumi Sakurai: Categorical Model Construction for Proving Syntactic Properties, International Journal of Foundations of Computer Science, vol. 20, no. 12, pp. 213 -- 244, 2001. (Errata, corrected version)
5. Masahiko Sato, Takafumi Sakurai, and Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-Class Environments, Proceedings of Fifth International Symposium on Functional and Logic Programming (eds. H. Kuchen and K. Ueda), LNCS 2024, pp. 359 -- 374, 2001.
6. Masahiko Sato, Takafumi Sakurai, and Rod Burstall: Explicit Environments, Fundamenta Informaticae, vol. 45, no. 1-2, pp. 79 -- 115, 2001. (Errata)
7. Masahiko Sato, Takafumi Sakurai, and Rod Burstall: Explicit Environments (Extended Abstract), in Proceedings of Fourth International Conference on Typed Lambda Calculus and its Application (TLCA '99), LNCS 1581, pp. 340 -- 354, 1999.
8. Takafumi Sakurai: Categorical Model Construction for Proving Syntactic Properties, in Proceedings of Third Fuji International Symposium on Functional and Logic Programming (eds. M. Sato and Y. Toyama), World Scientific, pp. 187 -- 206, 1998. (Errata)