1. Basic category theory for computer scientists

by Pierce, Benjamin C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 1991Availability: Items available for loan: [Call number: 511.3 BEN] (1).
2. Types and programming languages

by Pierce, Benjamin C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall, 2004Availability: Items available for loan: [Call number: 005.13 PIE] (1).
3. Advanced topics in types and programming languages

by Pierce, Benjamin C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2005Availability: Items available for loan: [Call number: 005.13 PIE] (1).

Powered by Koha