%0 Book %A De Paiva, Valeria Correa Vaz %D 1990 %T The Dialectica Categories