Skip to main content Accessibility help
×
Home

On characterizations of the basic feasible functionals, Part I

  • ROBERT J. IRWIN (a1), JAMES S. ROYER (a1) and BRUCE M. KAPRON (a2)

Abstract

We introduce a typed programming formalism, type-2 inflationary tiered loop programs or ITLP2, that characterizes the type-2 basic feasible functionals. ITLP2 is based on Bellantoni and Cook's (1992) and Leivant's (1995) type-theoretic characterization of polynomial-time, and turns out to be closely related to Kapron and Cook's (1991; 1996) machine-based characterization of the type-2 basic feasible functionals.

Copyright

On characterizations of the basic feasible functionals, Part I

  • ROBERT J. IRWIN (a1), JAMES S. ROYER (a1) and BRUCE M. KAPRON (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed

On characterizations of the basic feasible functionals, Part I

  • ROBERT J. IRWIN (a1), JAMES S. ROYER (a1) and BRUCE M. KAPRON (a2)
Submit a response

Discussions

No Discussions have been published for this article.

×

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *