HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Valentin Blot

Publications
A Direct Computational Interpretation of Second-Order Arithmetic via Update Recursion
Valentin Blot
EasyChair Preprint 8768

Keyphrases

bar recursion, polymorphism, realizability, second-order arithmetic.

Copyright © 2012-2025 easychair.org. All rights reserved.