Prathyush on Twitter
@valeriadepaiva Hey, stumbled on this formalization of dialectica spaces: https://t.co/gRDef0ACno and is interested to more!There’s a really nice post on Chu spaces ELI5 style by @AdeleDeweyLopez: https://t.co/Eq0tj2mA1jWas wondering if there is an equivalent for Dialectica?— Prathyush (@prathyvsh) May 19, 2022