BibTeX
CSL-JSON
MLA
Harvard
Unifying Functional Interpretations: Past and Future
release_p2q5nxafnnarxptyj3wqlfxxh4
by
Paulo Oliva
Released
as a article
.
2014
Abstract
This article surveys work done in the last six years on the unification of
various functional interpretations including G\"odel's dialectica
interpretation, its Diller-Nahm variant, Kreisel modified realizability,
Stein's family of functional interpretations, functional interpretations "with
truth", and bounded functional interpretations. Our goal in the present paper
is twofold: (1) to look back and single out the main lessons learnt so far, and
(2) to look forward and list several open questions and possible directions for
further research.
In text/plain
format
Archived Files and Locations
application/pdf 187.7 kB
file_6cnyvwrznnbuvfyvdfoki5ac6e
|
arxiv.org (repository) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
arXiv
1410.4364v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links