A syntactical analysis of non-size-increasing polynomial time computation

Klaus Aehlig, Helmut Schwichtenberg. A syntactical analysis of non-size-increasing polynomial time computation. ACM Trans. Comput. Log., 3(3):383-401, 2002. [doi]

Abstract

Abstract is missing.