Samson Abramsky

Usando juegos para representar cálculos cuánticos complejos y el flujo de información.

Descubre cómo los comonades de juego conectan propiedades lógicas con estructuras matemáticas.