A general form of relative recursion

by Jaap Van Oosten
Venue:Notre Dame Journal of Formal Logic
Citations:5 - 2 self