• Bellantoni, Niggl, Schwichtenberg. Higher Type Recursion, Ramification and Polynomial Time
• Berger. Program Extraction from Normalization Proofs
• 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

$Id: 00-da.html,v 1.6 2008/12/01 13:26:32 aehlig Exp $