Calculi of meta-variables, in: M. Baaz (Ed (2003)

by M Sato, T Sakurai, Y Kameyama, A Igarashi
Venue:Proc. Comput. Sci. Logic and 8th Kurt Godel Colloq. (CSL’03 & KGC