TY  - BOOK
AU  - Pitt David
ED  - Conference on Category and Computer Programming( 1985 : Guildford )
ED  - Conference on Category and Computer Programming
TI  - Category theory and computer programming : proceedings
SN  - 3-540-17162-2
U1  - 5.131 
PY  - 1986///
CY  - Berlin
PB  - Springer Verlag
KW  - Category theory
KW  - Computer programming
KW  - Computer science
ER  -