TY - BOOK AU - Pitt D H ED - Conference on Category theory and Computer Science( 2nd : 1987 : Edinburgh ) ED - Conference on Category theory and Computer Science TI - Category theory and computer science : proceedings SN - 0-387-18508-9 U1 - 4.0151 PY - 1987/// CY - Berlin PB - Springer Verlag KW - Category theory KW - Computer science ER -