计算类别理论Computational Category Theory

Name: 计算类别理论Computational Category Theory
Rating: 4.5 (33 reviews)
Author: oXiaoXiaoNiao40

上传者：oXiaoXiaoNiao40 2020-08-20 08:51:59上传 TXT文件 98B 热度 33次

本书是类别理论与计算机编程之间的桥梁。它试图使用功能性编程语言ML将抽象数学与具体程序联系起来。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

计算类别理论Computational Category Theory

本书是类别理论与计算机编程之间的桥梁。它试图使用功能性编程语言ML将抽象数学与具体程序联系起来。

大小：98B | 2020-08-20 08:51:59
Computational Category Theory

ComputationalCategoryTheorycategorytheory+ML

大小：0B | 2019-07-24 02:44:40
Computational category theory.pdf

introductiontobasiccategorytheory

大小：0B | 2019-06-27 08:48:55
category theory

somethingaboutcategory,justenjoy~~

大小：0B | 2019-07-18 06:28:54
category theory for programmers

大小：0B | 2019-04-13 11:08:54
iOS常用类别(Category)

大小：0B | 2019-04-15 11:11:46
category-theory-for-programmers

大小：0B | 2019-01-16 13:25:52
Category Theory.pdf

作者是Steve Awodey,对于CS来说,是认识范畴论这个数学课题的好开端,因为这个读物易于阅读...

大小：1.53MB | 2020-08-21 06:22:26
instructor s manual introduction to computational theory计算理论导论习题解答

instructor'smanualintroductiontocomputationaltheor...

大小：0B | 2020-06-12 07:15:28
计算语义学与类型理论Computational Semantics and Type Theory

涵盖在功能编程（Haskell）框架中指定的语言语义分析中逻辑的应用。

大小：88B | 2020-07-27 09:05:34
computational learning theory

computational learning theory

大小：0B | 2019-09-09 17:36:18
Computational Learning Theory

知其然知其所以然，跟《An Introduction to Computational Learni...

大小：0B | 2019-04-18 00:27:58
论文研究使用类别理论探索和建模标签事件结构

并发系统的开发提出了独特的挑战，尤其是与正确性和一致性相关的挑战，因为这样的系统通常涉及同时执行的多...

大小：640KB | 2020-07-16 20:39:27
Category Theory(Oxford Logic Guides)

大小：0B | 2019-04-13 11:08:55
ASR_Theory语音识别理论论文和PPT源码

ASR_Theory:语音识别理论,论文和PPT

大小：235.11MB | 2021-02-15 20:15:26
An Introduction to Computational Learning Theory

大小：0B | 2019-04-04 15:21:59