TY  - BOOK
AU  - Pitt,David
AU  - Rydeheard,David E.
AU  - Johnstone,Peter
ED  - International Conference on Category Theory and Computer Science
TI  - Category theory and computer science: 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings 
SN  - 3540601643
AV  - QA76.9 M35 B53 1995
PY  - 1995///
CY  - Berlin
PB  - Springer
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
KW  - Categories (Mathematics)
N1  - Presented at the sixth meeting of the Biennial Conference on Category Theory Computer Science (CTCS) held in Cambridge, 7th-11th August, 1995
ER  -