Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Sakurai, Takafumi - Department of Mathematics and Informatics, Chiba University
Strong Normalizability of Calculus of Explicit Substitutions
A Simply Typed Context Calculus with First-class Environments
Explicit Environments (Extended abstract) Masahiko Sato1, Takafumi Sakurai2, and Rod Burstall3
International Journal of Foundations of Computer Science Vol. 12 No. 2 (2001) 2* Oc World Scientific Publishing Company
Calculi of Meta-variables? Masahiko Sato1, Takafumi Sakurai2, Yukiyoshi Kameyama3, and
Fundamenta Informaticae 45 (2001) 79-115 * * 79
Categorical Model Construction for Proving Syntactic Properties *
Errata of CATEGORICAL MODEL CONSTRUCTION
International Journal of Foundations of Computer Science Oc World Scientific Publishing Company
A simply typed context calculus with first-class environments
Fundamenta Informaticae XX (2001) 1-1 * * 1
