Before revision: They were introduced by de Paiva, Martin Hyland's student, in her doctoral thesis, as a way of modeling both linear logic and Goedel 's dialectica interpretation—hence the name.
After revision: They were introduced by 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.