Crole, Roy L. <br/><br/>
Categories for types / 
Roy L. Crole. 
 - Cambridge ;  New York :  Cambridge University Press,  1993. 
 - xvii, 335 p. :  ill. ; 
 - Cambridge mathematical textbooks .
<br/><br/><label>ISBN: </label>0521457017 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Categories (Mathematics)<br/>Lambda calculus.
<br/><br/><label>LC Class. No.: </label>QA169  / .C685 1993 
<br/><br/><label>Dewey Class. No.: </label>511.3