the dialectica categories - university of cambridge · technical report number 213 computer...
Post on 22-Mar-2020
0 Views
Preview:
TRANSCRIPT
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
top related