On the Efficiency of Programs in Subrecursive Formalisms (Incomplete Version, Extended Abstract)

Robert L. Constable, Allan Borodin

Browse the full FOCS paper archive.