Samson Abramsky

Usando jogos pra representar cálculos quânticos complexos e fluxo de informações.

Descubra como comonads de jogos conectam propriedades lógicas com estruturas matemáticas.