The Dialectica categories - Cambridge Computer Laboratory

Technical Report

UCAM-CL-TR-213 ISSN 1476-2986

Number 213

Computer Laboratory

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/

c 1991 Valeria Correa Vaz de Paiva

This technical report is based on a dissertation submitted November 1988 by the author for the degree of Doctor of Philosophy to the University of Cambridge, Lucy Cavendish College. Technical reports published by the University of Cambridge Computer Laboratory are freely available via the Internet: http://www.cl.cam.ac.uk/techreports/ ISSN 1476-2986