The Dialectica categories (1987)

by V de Paiva
Venue:Proc. Cat. in Comp. Sci. and Logic