Please use this identifier to cite or link to this item:
|Title: ||Functional interpretations and applications|
|Authors: ||Dinis, Bruno|
|Keywords: ||Functional interpretations|
|Issue Date: ||2022|
|Citation: ||Functional interpretations and applications, January 20, 2022 - S´eminaire en ligne, Rencontres mensuelles
“CHoCoLa” Curry-Howard : Calcul et Logique|
|Abstract: ||Functional interpretations are maps of formulas from the language of one theory
into the language of another theory, in such a way that provability is preserved.
These interpretations typically replace logical relations by functional relations.
Functional interpretations have many uses, such as relative consistency results, conservation results, and
extraction of computational content from proofs as is the case in the so-called proof mining program.
I will present several recent functional interpretations and some results that come from these interpretations.
I will also give examples of application of functional interpretations, in the spirit of the proof mining program.|
|Appears in Collections:||CIMA - Comunicações - Em Congressos Científicos Internacionais|
MAT - Comunicações - Em Congressos Científicos Internacionais
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.