@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",

}