https://hal.univ-reunion.fr/hal-01186136
Contributor : Nicolas Alarcon <>
Submitted on : Monday, August 24, 2015 - 2:27:48 PM Last modification on : Monday, September 2, 2019 - 9:43:08 AM
Adrian R D Mathias, Nathan Bowler. Rudimentary recursion and provident sets. Notre Dame Journal of Formal Logic, University of Notre Dame, 2014, 55 (3), pp.1-40. ⟨hal-01186136⟩