This Book is Out of Stock!
English
LOOKING TO PLACE A BULK ORDER?CLICK HERE
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
LOOKING TO PLACE A BULK ORDER? CLICK HERE
Piracy-free
Assured Quality
Secure Transactions
Fast Delivery
Sustainably Printed
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
₹5013
₹6033
16% OFF
Paperback
Out Of Stock
All inclusive*
About The Book
Description
Author
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Details
ISBN 13
9780521457019
Publication Date
-27-01-1994
Pages
-356
Weight
-506 grams
Dimensions
-155.96x233.93x19.69 mm
