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.
Type: lecture
Appears in Collections:CIMA - Comunicações - Em Congressos Científicos Internacionais
MAT - Comunicações - Em Congressos Científicos Internacionais

Files in This Item:

File Description SizeFormat
Lyon_2022.pdf1.66 MBAdobe PDFView/Open
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Dspace Dspace
DSpace Software, version 1.6.2 Copyright © 2002-2008 MIT and Hewlett-Packard - Feedback
UEvora B-On Curriculum DeGois