• Bellantoni, Niggl, Schwichtenberg. Higher Type Recursion, Ramification and Polynomial Time
• Caseiro. Equations for Defining Poly-time Functions
• Martin Hofmann. In-place update with linear types or how to compile functional programms into malloc()-free C
• Martin Hofmann. Typed lambda calculi for polynomial-time computation
• Martin Hofmann. Linear types and non-size-increasing polynomial time computation
• Joachimski, Matthes. Short Proofs of Normalization for the simply-typed lambda-calculus, permutative conversions and Gödel's T

$Date: 2008/12/01 13:26:32 $