The Honest Subrecursive Classes Are a Lattice

The Honest Subrecursive Classes Are a Lattice Michael Machtey 247-263 Information and Control March 1974 24 3 db/journals/iandc/iandc24.html#Machtey74