Irwin, Robert J.; Royer, James S.; Kapron, Bruce M. On characterizations of the basic feasible functionals. I. (English) Zbl 0992.68020 J. Funct. Program. 11, No. 1, 117-153 (2001). MSC: 68N15 PDFBibTeX XMLCite \textit{R. J. Irwin} et al., J. Funct. Program. 11, No. 1, 117--153 (2001; Zbl 0992.68020) Full Text: DOI
Caporaso, Salvatore; Covino, Emanuele; Pani, Giovanni A predicative approach to the classification problem. (English) Zbl 0987.68036 J. Funct. Program. 11, No. 1, 95-116 (2001). MSC: 68Q15 PDFBibTeX XMLCite \textit{S. Caporaso} et al., J. Funct. Program. 11, No. 1, 95--116 (2001; Zbl 0987.68036) Full Text: DOI
Jones, Neil D. The expressive power of higher-order types or, life without CONS. (English) Zbl 0988.68046 J. Funct. Program. 11, No. 1, 55-94 (2001). MSC: 68N18 68Q15 PDFBibTeX XMLCite \textit{N. D. Jones}, J. Funct. Program. 11, No. 1, 55--94 (2001; Zbl 0988.68046) Full Text: DOI
Bonfante, G.; Cichon, A.; Marion, J.-Y.; Touzet, H. Algorithms with polynomial interpretation termination proof. (English) Zbl 0987.68042 J. Funct. Program. 11, No. 1, 33-53 (2001). MSC: 68Q42 PDFBibTeX XMLCite \textit{G. Bonfante} et al., J. Funct. Program. 11, No. 1, 33--53 (2001; Zbl 0987.68042) Full Text: DOI
Benzinger, Ralph Automated complexity analysis of Nuprl extracted programs. (English) Zbl 0987.68013 J. Funct. Program. 11, No. 1, 3-31 (2001). MSC: 68N18 PDFBibTeX XMLCite \textit{R. Benzinger}, J. Funct. Program. 11, No. 1, 3--31 (2001; Zbl 0987.68013) Full Text: DOI