Dialectica space
They were introduced by Valeria de Paiva , Martin Hyland's student , in her doctoral thesis , as a way of modeling both linear logic and Gödel's dialectica interpretation—hence the name . 
<triplet> Valeria de Paiva <subj> Martin Hyland <obj> student of <triplet> Martin Hyland <subj> Valeria de Paiva <obj> doctoral student <triplet> dialectica interpretation <subj> Gödel <obj> discoverer or inventor