Unifying Functional Interpretations: Past and Future [article]

Paulo Oliva
2014 arXiv   pre-print
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.
arXiv:1410.4364v1 fatcat:p2q5nxafnnarxptyj3wqlfxxh4