Unifying Functional Interpretations: Past and Future
Logic
2014-10-17 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1410.4364,
title = {Unifying Functional Interpretations: Past and Future},
author = {Paulo Oliva},
journal= {arXiv preprint arXiv:1410.4364},
year = {2014}
}
Comments
18 pages