Technical Report Number 213 Computer Laboratory UCAM-CL-TR-213 ISSN 1476-2986 The Dialectica categories Valeria Correa Vaz de Paiva January 1991 15 JJ Thomson Avenue Cambridge CB3 0FD United Kingdom phone +44 1223 763500 http://www.cl.cam.ac.uk/
Technical ReportNumber 213
Computer Laboratory
UCAM-CL-TR-213ISSN 1476-2986
The Dialectica categories
Valeria Correa Vaz de Paiva
January 1991
15 JJ Thomson AvenueCambridge CB3 0FDUnited Kingdomphone +44 1223 763500
http://www.cl.cam.ac.uk/
c© 1991 Valeria Correa Vaz de Paiva
This technical report is based on a dissertation submittedNovember 1988 by the author for the degree of Doctor ofPhilosophy to the University of Cambridge, Lucy CavendishCollege.
Technical reports published by the University of CambridgeComputer Laboratory are freely available via the Internet:
http://www.cl.cam.ac.uk/techreports/
ISSN 1476-2986