Parametrised Functional Interpretations
Logic
2020-05-13 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2005.05794,
title = {Parametrised Functional Interpretations},
author = {Bruno Dinis and Paulo Oliva},
journal= {arXiv preprint arXiv:2005.05794},
year = {2020}
}