Skip to content

Computational Foundations of Basic Recursive Function Theory

Robert L. Constable, Scott F. Smith

VenueA*LICS
Year1988
ProceedingsLICS

Browse the full LICS paper archive.