Lambda Calculus with Types

Name: Lambda Calculus with Types
Rating: 4.5 (93 reviews)
Author: zcx4071

上传者：zcx4071 2018-12-28 13:26:45上传 PDF文件 46.47MB 热度 93次

很好的书，要看的人也不用我安利，某宝上35大洋买的...希望大家也上传一些自己的私藏~~~~~

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Lambda Calculus with Types

带类型 Lambda 演算豆瓣链接：https://book.douban.com/subject...

大小：0B | 2018-12-28 13:27:26
lambda calculus

Lambda学习，不错的资料参考Theλ-calculuswasbegunatPrinceton,a...

大小：0B | 2019-09-14 12:25:35
Lambda Calculi with Types

理解Lambda计算背后的理论，有助于对集合类进行各种复杂的逻辑运算。

大小：0B | 2019-09-09 04:15:06
An Introduction to the Lambda Calculus

It is surprising that despite the simplicity of it...

大小：297KB | 2021-04-17 19:40:00
A Tutorial Introduction to the Lambda Calculus

函数式编程的理论论文

大小：0B | 2018-12-28 13:23:09
Lambda Calculus and Combinatorsan Introduction.pdf

Lambda-Calculus and Combinators,an Introduction.pd...

大小：2.06MB | 2020-11-07 12:45:57
An Introduction to Functional Programming Through Lambda Calculus

AnIntroductiontoFunctionalProgrammingThroughLambda...

大小：0B | 2019-06-04 19:57:03
Lambda Calculus its Syntax and Semantics.djvu

LambdaCalculusitsSyntaxandSemantics.djvu俄文版

大小：0B | 2019-09-14 12:25:35
The Lambda Calculus Its Syntax and Semantics2nd

lambda的书

大小：0B | 2019-06-04 19:56:54
introduction to lambda calculus.Henk Barendregt Erik Barendsen

introduction to lambda calculus.Henk Barendregt Er...

大小：258.24KB | 2023-01-21 03:58:37
An introduction to functional programming through lambda calculus.PDF.zip

Author:Michaelson,GregFunctionalprogrammingisroote...

大小：0B | 2019-09-26 08:19:21
Lecture加notes加on加the加lambda加calculus

Lecture+notes+on+the+lambda+calculus

大小：0B | 2019-09-26 08:19:20
lambda calculus可在桌面和wasm上运行的lambda演算解释器源码

Lambda微积分是一种简单的计算模型,唯一的数据类型是带有一个参数并返回一个结果的函数。尽管它很...

大小：25KB | 2021-04-04 07:25:17
Lambda Calculus Interpreter Lambda演算解释器CS4110研究的应用源码

Lambda演算解释器 Lambda演算解释器,CS 4110研究的应用

大小：7KB | 2021-05-02 16:40:27
lambda calculus nim一个用Nim编写的lambda演算解释器项目源码

Lambda微积分解释器,用Nim编写这是我正在做的个人项目。我喜欢Lambda微积分,并且对N...

大小：65KB | 2021-03-17 07:37:43
Master Calculus with the Latest Edition of Calculus for Dummies

Explore the fundamentals of calculus and its appli...

大小：0B | 2018-12-07 04:39:59