5 papers:
ICALP-v2-2014-Mazza #λ-calculus- Non-uniform Polytime Computation in the Infinitary Affine λ-Calculus (DM), pp. 305–317.
RTA-2010-AvanziniM #complexity #runtime- Closing the Gap Between Runtime Complexity and Polytime Computability (MA, GM), pp. 33–48.
LICS-2001-CookK #higher-order #reasoning #theorem #using- A Second-Order System for Polytime Reasoning Using Graedel’s Theorem (SAC, AK), pp. 177–186.
- LICS-2001-Terui #calculus #normalisation
- Light Affine Calculus and Polytime Strong Normalization (KT), pp. 209–220.
STOC-1992-BellantoniC #recursion- A New Recursion-Theoretic Characterization of the Polytime Functions (Extended Abstract) (SB, SAC), pp. 283–293.
