O’Donnell, John T.; Rünger, Gudula Derivation of a logarithmic time carry lookahead addition circuit. (English) Zbl 1063.68039 J. Funct. Program. 14, No. 6, 697-713 (2004). MSC: 68N18 68N15 94C10 PDFBibTeX XMLCite \textit{J. T. O'Donnell} and \textit{G. Rünger}, J. Funct. Program. 14, No. 6, 697--713 (2004; Zbl 1063.68039) Full Text: DOI
Mairson, Harry G. Linear lambda calculus and PTIME-completeness. (English) Zbl 1063.68036 J. Funct. Program. 14, No. 6, 623-633 (2004). MSC: 68N18 68Q17 03B40 03F52 94C10 PDFBibTeX XMLCite \textit{H. G. Mairson}, J. Funct. Program. 14, No. 6, 623--633 (2004; Zbl 1063.68036) Full Text: DOI