Thursday, November 1, 2018


Time flies. Looking at the program of the logic conference SBL - Brazilian Logic Society :: Events / WorkshopSBL2018 I asked my friend Samuel Gomes da Silva for his slides on

The Axiom of Choice and the Partition Principle from Dialectica Categories

and what was my surprise to see  this slide...
As we say in Portuguese, 'quem tem amigos tem tudo'. Many thanks Samuel Gomes da Silva!!

No comments:

Post a Comment