TY - DATA AU - David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard TI - Category Theory and Computer Science SN - 9783540384137 PY - 1991/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/BFb0013452 ER -