English

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

R2 v1 2026-06-22T06:25:44.359Z