Syntactic Translations and Provably Recursive Functions

@article{Leivant1985SyntacticTA,
  title={Syntactic Translations and Provably Recursive Functions},
  author={Daniel Leivant},
  journal={J. Symb. Log.},
  year={1985},
  volume={50},
  pages={682-688}
}