A Parametrised Functional Interpretation of Heyting Arithmetic
View/ Open
Pagination
102940 - 102940
Publisher
DOI
10.1016/j.apal.2020.102940
Journal
Annals of Pure and Applied Logic
ISSN
0168-0072
Metadata
Show full item recordAbstract
This paper presents an abstract parametrised functional interpretation of
. It is based on families of parameters allowing for different degrees of freedom on the design of concrete interpretations. In this way, we are able to generalise previous work on unifying functional interpretations by including in the unification the more recent bounded and Herbrandized functional interpretations.