论文标题
参数化功能解释
Parametrised Functional Interpretations
论文作者
论文摘要
本文提出了一个统一功能解释的一般框架。它基于参数家族，允许在解释设计上具有不同程度的自由度。通过这种方式，我们能够通过在统一中包括最新的有限和海红色的功能解释来概括统一的功能解释。
This paper presents a general framework for unifying functional interpretations. It is based on families of parameters allowing for different degrees of freedom on the design of the interpretation. 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.
