Recent Papers (including drafts)
- 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
- Masahiko Sato, Randy Pollack, Helmut Schwichtenberg, and Takafumi Sakurai:
Viewing λ-terms through Maps,
Indagationes Mathematicae,
vol. 24, no. 4, pp. 1073 -- 1104, 2013
- 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
- Takafumi Sakurai:
Strong Normalizability of Calculus of Explicit Substitutions
with Composition,
draft
- 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)
- 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.
- 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)
- 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.
- Masahiko Sato, Takafumi Sakurai, and Rod Burstall:
Explicit Environments,
Fundamenta Informaticae,
vol. 45, no. 1-2, pp. 79 -- 115, 2001.
(Errata)
- 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.
- 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