Applications of categories in computer science/ 
edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts. 
 -  Cambridge University Press,  1992. 
 - 339 p. 
 - Londom mathematical society lecture note series;  177 .
 - London Mathematical Society lecture note series;  177. .
<br/><br/><label>ISBN: </label>0521427266 (pbk) 
<br/><br/><label>Nat. Bib. No.: </label>GB92-49162 
<br/><br/><label>Subjects--Index Terms: </label>Mathematical logic 
<br/><br/><label>Dewey Class. No.: </label>511.30285  / A652