When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Procee
- Item No : 157159371512
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $72.79
-
* Item Description
- Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget concise interpretations of many logical concepts. Linksbetween logic and computer science have been developed nowfor over twenty years, notably via the Curry-Howardisomorphism which identifies programs with proofs and typeswith propositions.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
