A functional interpretation with state
From MaRDI portal
Publication:5145361
DOI10.1145/3209108.3209134zbMath1453.03065OpenAlexW2798884840MaRDI QIDQ5145361
No author found.
Publication date: 20 January 2021
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3209108.3209134
First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Relative consistency and interpretations (03F25)
Related Items
A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory, Stateful Realizers for Nonstandard Analysis, Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language, Unnamed Item