A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Unifying Functional Interpretations
Notre Dame Journal of Formal Logic
The purpose of this article is to present a parametrised functional interpretation. Depending on the choice of the parameter relations one obtains well-known functional interpretations, such as Gödel's Dialectica interpretation, Diller-Nahm's variant of the Dialectica interpretation, Kohlenbach's monotone interpretations, Kreisel's modified realizability and Stein's family of functional interpretations. A functional interpretation consists of a formula translation and a proof translation. Wedoi:10.1305/ndjfl/1153858651 fatcat:g4pa5zduzzazxm6wudeztogxru