Dal Lago, Ugo; Hofmann, Martin A semantic proof of polytime soundness of light affine logic. (English) Zbl 1205.68169 Theory Comput. Syst. 46, No. 4, 673-689 (2010). MSC: 68Q17 PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{M. Hofmann}, Theory Comput. Syst. 46, No. 4, 673--689 (2010; Zbl 1205.68169) Full Text: DOI
Robertson, Edward L.; Saxton, Lawrence V.; Van Gucht, Dirk; Vansummeren, Stijn Structural recursion as a query language on lists and ordered trees. (English) Zbl 1192.68219 Theory Comput. Syst. 44, No. 4, 590-619 (2009). MSC: 68P15 68P05 PDFBibTeX XMLCite \textit{E. L. Robertson} et al., Theory Comput. Syst. 44, No. 4, 590--619 (2009; Zbl 1192.68219) Full Text: DOI