Robert L. Constable, Scott F. Smith
Computational Foundations of Basic Recursive Function Theory
LICS, 1988.
@inproceedings{LICS-1988-ConstableS, author = "Robert L. Constable and Scott F. Smith", booktitle = "{Proceedings of the Third Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1988.5133", isbn = "0-8186-0853-6", pages = "360--371", publisher = "{IEEE Computer Society}", title = "{Computational Foundations of Basic Recursive Function Theory}", year = 1988, }