Diller-Nahm bar recursion

DOI10.4230/LIPICS.FSCD.2023.32MaRDI QIDQ6622077zbMATH OpenFDO

Authors Valentin Blot

Publication date 21 October 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2023.32

zbMATH Keywords

bar recursionDialectica

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Recommendations

• On Spector's bar recursion
• Logical Approaches to Computational Barriers
• Bar recursion over finite partial functions
• Modified bar recursion
• The bounded functional interpretation of the double negation shift

This page was built for publication: Diller-Nahm bar recursion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6622077)