Computational Foundations of Basic Recursive Function Theory (1988)

by Robert L. Constable, Scott Fraser Smith
Venue:Theoretical Computer Science