The Dialectica interpretation of first-order classical affine logic. Shirahata, Masaru — 2006 Theory and Applications of Categories [electronic only]