Computational interpretations of analysis via products of selection functions (2010)
by
Martín Escardó
,
Paulo Oliva
| Venue: | CIE 2010, INVITED TALK ON SPECIAL SESSION “PROOF THEORY AND COMPUTATION |
| Citations: | 7 - 7 self |
BibTeX
@MISC{Escardó10computationalinterpretations,
author = {Martín Escardó and Paulo Oliva},
title = {Computational interpretations of analysis via products of selection functions},
year = {2010}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to two closely related infinite products of selection functions.
