 Dialectica space

Dialectica spaces are a categorical way of constructing models of linear logic.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.