کتاب های Roy Crole
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/7/74/Ruud_Krol_1974c.jpg/41px-Ruud_Krol_1974c.jpg)
![Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures](http://cdn.ketabkoo.com/covers/0/95910-n.jpg)
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures
Roy Crole (auth.), Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.), 2002![Categories for Types](http://cdn.ketabkoo.com/covers/4/494244-n.jpg)
Categories for Types
Roy L. Crole, 1994![Categories for Types (Cambridge Mathematical Textbooks)](http://cdn.ketabkoo.com/covers/16/1688302-n.jpg)