Uniform functional interpretations

DOI10.1007/978-3-031-95908-0_7MaRDI QIDQ6897661zbMATH OpenFDO

Authors Paulo Oliva

Publication date 19 November 2025

zbMATH Keywords

forcingrealizabilityfunctional interpretationdialectica interpretation

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Uniform functional interpretations

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