Danvy, Olivier; Zerny, Ian Three syntactic theories for combinatory graph reduction. (English) Zbl 1353.68040 ACM Trans. Comput. Log. 14, No. 4, Article No. 29, 27 p. (2013). MSC: 68N18 03B40 05C90 PDFBibTeX XMLCite \textit{O. Danvy} and \textit{I. Zerny}, ACM Trans. Comput. Log. 14, No. 4, Article No. 29, 27 p. (2013; Zbl 1353.68040) Full Text: DOI
Biernacka, Małgorzata; Danvy, Olivier A syntactic correspondence between context-sensitive calculi and abstract machines. (English) Zbl 1111.68065 Theor. Comput. Sci. 375, No. 1-3, 76-108 (2007). MSC: 68Q55 68N18 68Q45 PDFBibTeX XMLCite \textit{M. Biernacka} and \textit{O. Danvy}, Theor. Comput. Sci. 375, No. 1--3, 76--108 (2007; Zbl 1111.68065) Full Text: DOI