1 citations · 1 across the 1 of their papers we have counts for
1 paper
Valeria de Paiva, Samuel G. da Silva
We investigate the categorical connection between Dialectica constructions, Kolmogorov problems, Veloso problems and Blass problems. We show that the work of Kolmogorov can be rega…