2014/10/16 by Paulo Oliva, Oliva, Paulo
Computer Science · Mathematics · #03B47 #03F25 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #cs.LO #math.LO #msc:03B47 #msc:03F25
paper · pdf · doi:10.48550/arxiv.1410.4364
18 pages
arxiv created 2014/10/16 · arxiv updated 2014/10/17
This article surveys work done in the last six years on the unification of various functional interpretations including Gödel'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.