@inbook{311dfeb41da144b9b15239e3b1925cdb,
title = "Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs",
abstract = "The problem of giving a computational meaning to classical reasoning lies at the heart of logic. This article surveys three famous solutions to this problem – the epsilon calculus, modified realizability and the Dialectica interpretation – and re-examines them from a modern perspective, with a particular emphasis on connections with algorithms and programming.",
author = "Thomas Powell",
year = "2019",
doi = "10.1007/978-3-030-20447-1_14",
language = "English",
isbn = "978-3-030-20446-4",
series = "Synthese Library",
publisher = "Springer International Publishing",
pages = "255--290",
editor = "Stefania Centrone and Sara Negri and Deniz Sarikaya and Schuster, {Peter M.}",
booktitle = "Mathesis Universalis, Computability and Proof",
address = "Switzerland",
}