The Uniform Functional Interpretation with Informative Types

Fernando Ferreira, Paulo Oliva

We discuss a new approach to functional interpretations based on uniform quantification and relativization. The uniform quantification in the background permits a more penetrating…