Your search returned 3 results.

Results
	1.		Categories for types Roy L. Crole by Crole, Roy L Publication details: Cambridge Cambridge University Press 1993 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 CRO.
	2.		Categories for types Roy L. Crole by Crole, Roy L Publication details: Cambridge Cambridge University Press 1993 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 CRO.
	3.		Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures Roland Backhouse, Roy Crole, Jeremy Gibbons, eds by Backhouse, Roland C Crole, Roy L Gibbons, Jeremy School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford) Publication details: New York Springer 2002 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005 BAC.

Refine your search