Skip to content

Calculi of Meta-variables.

Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi

VenueBCSL
Year2003
ProceedingsCSL

Browse the full CSL paper archive.