Contents of this directory: Oct 29, 1992

Each report is available in four possible formats
   *.dvi   - dvi file
   *.dvi.Z - compressed dvi file
   *.ps    - postscript file
   *.ps.Z  - compressed postscript file

DistLogic  - Distributive Logic, Robin Cockett

PatMat - Sequentializing Programs Defined by Pattern Matching, 
         Todd Simpson and Robin Cockett

about_charity - About Charity, Robin Cockett and Tom Fukushima

dataI - Strong Categorical Datatypes, J. Robin B. Cockett and Dwight Spencer

dataII - Strong Categorical Datatypes II : A term logic for
         categorical programming, J. Robin B. Cockett and Dwight Spencer

distributive - Introduction to Distributive Categories, J. R. B. Cockett