EasyChair Smart Slide
A Direct Computational Interpretation of Second-Order Arithmetic via Update Recursion
A Direct Computational Interpretation of Second-Order Arithmetic via Update Recursion