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.
Original language | English (US) |
---|---|
Pages (from-to) | 117-153 |
Number of pages | 37 |
Journal | Journal of Functional Programming |
Volume | 11 |
Issue number | 1 |
DOIs | |
State | Published - Jan 2001 |
ASJC Scopus subject areas
- Software