Tilbage til artikeldetaljer A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines Download Download PDF