Nr. 18 (2006): RS-18 Not published

Artikler

• A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines

  Malgorzata Biernacka, Olivier Danvy