Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.
《网站分析基础教程流量与价值的秘密》分为三篇,即理论基础篇、应用方法篇和实战指南篇。理论基础篇介绍了网站分析的用途和定义
《银行内部控制对信贷风险的影响研究》内容简介:本书依据信息不对称、委托代理、内部控制等理论,结合中国信贷市场制度背景,分析
《二手房装修改造常犯的110个错误》内容简介:每个做过二手房装修改造的人都有这样的经历,完成装修后,发现由于当初不了解关于装修
《亿级流量网站架构核心技术》一书总结并梳理了亿级流量网站高可用和高并发原则,通过实例详细介绍了如何落地这些原则。本书分为
InDecember2009,Googlebegancustomizingitssearchresultsforeachuser.Insteadofgiving...
本书系统地介绍了可变目标ANSIC编译器1cc的设计方法和实现技术。1cc是一个实用的编译器,能够不同的目标机器生成代码。本书结合1
本书特别邀请了数位国内知名GUI设计师一起由浅至深地讲解GUI设计案例,详细讲解各个案例中所遇到的问题和软件应用。本书分为以下
OperatingSystemConcepts,nowinitsninthedition,continuestoprovideasolidtheoretical...
嵌入式系统体系结构编程与设计(影印版) 内容简介 本书是关于嵌入式系统开发与设计的一部*新力作,介绍了嵌入式系统的硬件、操作系统、开发过程以及编程。全书系统地阐...
《西门子工业通信网络组态编程与故障诊断》全面介绍了西门子工业通信网络的结构、通信协议、通信服务和通信的组态编程与故障诊断
《安得堂咏草》内容简介:《安得堂咏草》为施小炜诗集,共收录其所创作的旧体诗词一百三十八首,分为悔其集、面壁斋集篇、暗疏乡集
本书比较全面地介绍了网页设计应注意的相关问题,在网页设计基础方面着重讲解了网页框架、页面元素、色彩设计,分析了一些人们容
《社会批判理论纪事(第10辑)》内容简介:本书包括以下三个部分:法国著名作家、思想家莫里斯·布朗肖思想专辑、各国学者对《马克
《党意与民意》内容简介:本书讨论了1933—1934年北平市参议会、1946年北平市临时参议会和1947—1948年北平市正式参议会召开的背景
Google Android2手机应用程序设计入门-第3版-(1DVD+手册) 本书特色 用*短的时间,跟随拥有android market单一应用程序下载超过...
本书首先从一个简单的Web应用开始,让读者学会如何使用IDEA、Maven、Git等开发工具搭建JavaWeb应用;接着通过一个简单的应用场景
《Spring技术内幕》内容简介:《Spring技术内幕:深入解析Spring架构与设计原理(第2版)》从源代码的角度对Spring的内核和各个主要功
《中国西部大开发发展报告(2021)》内容简介:党的十八大以来,全国区域创新能力显著增强,创新资源投入和科技成果转化由东部一枝
《数字经济时代的智慧城市与信息安全(第2版)》内容简介:随着信息技术的迅猛发展,信息技术与经济社会的交汇融合,引发了数据的爆
《信息安全精要:从概念到安全性评估》内容简介:本书以现实世界的安全入侵事件为例,探讨了操作安全、网络设计、操作系统强化和修