The Dialectica categories - Cambridge Computer Laboratory

4 downloads 0 Views 3MB Size Report
Page 8. Page 9. Page 10. Page 11. Page 12. Page 13. Page 14. Page 15. Page 16. Page 17. Page 18. Page 19. Page 20. Page 21. Page 22. Page 23. Page 24 ...
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