partial recursivity