The Dialectica categories

• 1 January 1989
• other
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• Vol. 92, 47-62
• https://doi.org/10.1090/conm/092/1003194

Abstract