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.
Wikipage redirect
primaryTopic
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.
has abstract
Dialectica spaces are a catego ...... rst object implies the second.
@en
Wikipage page ID
12,288,146
Wikipage revision ID
711,858,958
subject
hypernym
comment
Dialectica spaces are a catego ...... interpretation—hence the name.
@en
label
Dialectica space
@en