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 concrete framework for environment machines. (English) Zbl 1367.68093 ACM Trans. Comput. Log. 9, No. 1, Article No. 6, 30 p. (2007). MSC: 68Q05 03B40 PDFBibTeX XMLCite \textit{M. Biernacka} and \textit{O. Danvy}, ACM Trans. Comput. Log. 9, No. 1, Article No. 6, 30 p. (2007; Zbl 1367.68093) Full Text: DOI