On the Size of Programs in Subrecursive Formalisms

Robert L. Constable

Browse the full STOC paper archive.