This paper presents an abstract parametrised functional interpretation of ${\mathbf{WE}\mathrm{\text{-}}\mathbf{HA}}^{\omega }$. 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.

中文翻译：

---

Heyting算术的参数化函数解释

本文提出了对参数的抽象参数化功能解释${\mathbf{我们}\mathrm{\text{--}}\mathbf{哈}}^{\omega }$。它基于一系列参数，允许在具体解释的设计上具有不同的自由度。通过这种方式，我们可以通过在统一中包括较新的有界和Herbrandized功能性解释，来归纳统一功能性解释的先前工作。