Takafumi Sakurai

Publication Activity (10 Years)

Years Active: 1983-2014
Publications (10 Years): 0

Top Topics

Expressive Power

Top Venues

Publications

Kentaro Kikuchi, Takafumi Sakurai
A Translation of Intersection and Union Types for the λμ-Calculus. APLAS (2014)
Hideki Fujii, Takafumi Sakurai, Shinobu Yoshimura
Virtual Social Experiment of Tram Railway Extension Using Multi-Agent-Based Traffic Simulator. J. Adv. Comput. Intell. Intell. Informatics 15 (2) (2011)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
Calculi of meta-variables. Frontiers Comput. Sci. China 2 (1) (2008)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
Calculi of Meta-variables. CSL (2003)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
A Simply Typed Context Calculus with First-class Environments. J. Funct. Log. Program. 2002 (2002)
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
A Simply Typed Context Calculus with First-Class Environments. FLOPS (2001)
Masahiko Sato, Takafumi Sakurai, Rod M. Burstall
Explicit Environments. Fundam. Informaticae 45 (1-2) (2001)
Takafumi Sakurai
Categorical Model Construction for Proving Syntactic Properties. Int. J. Found. Comput. Sci. 12 (2) (2001)
Masahiko Sato, Takafumi Sakurai, Rod M. Burstall
Explicit Environments. TLCA (1999)
Takafumi Sakurai
Categorial Model Construction for Proving Syntactic Properties. Fuji International Symposium on Functional and Logic Programming (1998)
Masami Hagiya, Takafumi Sakurai
Foundation of Logic Programming Based on Inductive Definition. New Gener. Comput. 2 (1) (1984)
Masahiko Sato, Takafumi Sakurai
QUTE: A Functional Language Based on Unification. FGCS (1984)
Masahiko Sato, Takafumi Sakurai
Qute: A Prolog/Lisp Type Language for Logic Programming. IJCAI (1983)