A functional interpretation with state

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

zbMATH Keywords

program extractionfunctional interpretationstate monad

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Relative consistency and interpretations (03F25)

Related Items (4)

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

This page was built for publication: A functional interpretation with state