Provable Computable Functions on Abstract Data Types.

John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker

Browse the full ICALP paper archive.