Linear types and non-size-increasing polynomial time computation.
scientific article; zbMATH DE number 1967131