δ is for Dialectica.

Marie Morgane Kerjean, Pierre-Marie Pdrot

Browse the full LICS paper archive.