Recent Papers (including drafts)

  1. Kentaro Kikuchi, and Takafumi Sakurai: A Translation of Intersection and Union Types for the λμ-Calculus, Proceedings of 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), LNCS 8858, pp. 120 -- 139, 2014
  2. Masahiko Sato, Randy Pollack, Helmut Schwichtenberg, and Takafumi Sakurai: Viewing λ-terms through Maps, Indagationes Mathematicae, vol. 24, no. 4, pp. 1073 -- 1104, 2013
  3. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, and Atsushi Igarashi: Calculi of Mata-varaibles, Frontiers of Computer Science in China, vol. 2, no. 1, pp. 12 -- 21, 2008
  4. Takafumi Sakurai: Strong Normalizability of Calculus of Explicit Substitutions with Composition, draft
  5. 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)
  6. 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.
  7. 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)
  8. 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.
  9. Masahiko Sato, Takafumi Sakurai, and Rod Burstall: Explicit Environments, Fundamenta Informaticae, vol. 45, no. 1-2, pp. 79 -- 115, 2001. (Errata)
  10. 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.
  11. 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)

Home