Categories for Types

by Roy L. Crole

• ISBN13: 9780521457019
• ISBN10: 0521457017
• Format: Paperback

• Rental Textbook Copy Special Order: 1-2 Weeks
• New Textbook Copy Special Order: 1-2 Weeks
• Free Shipping On Orders Over $35!

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

by School on Algebraic and Co-Algebraic Methods in the Mathematics of Pro; Crole, Roy L.; Gibbons, Jeremy

• ISBN13: 9783540436133
• ISBN10: 3540436138
• Format: Paperback