A Type of Partial Recursive Functions

by Ana Bove , Venanzio Capretta