Kolmogorov-Veloso Problems and Dialectica Categories

Authors

Valeria de Paiva

Samuel G. da Silva