没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
lambda演算简介
lambda演算简介
lambda演算
需积分: 50
7 下载量
83 浏览量
2016-04-16
21:30:28
上传
评论
收藏
577KB
PDF
举报
温馨提示
立即下载
lambda演算简介
资源推荐
资源评论
lambda演算学习
浏览:197
λ演算的学习资料,英文版,可计算函数和lambda演算规则
lambda演算系统
浏览:183
详细演示lambda演算过程,最后给出Y组合字实现匿名递归
lambda演算资料集合
浏览:163
个人收集的一些关于lambda演算的国内外资料和课件,请笑纳
lambda演算和图灵机
浏览:186
λ演算(lambda calculus)是一套用于研究函数定义、函数应用和递归的形式系统。它由阿隆佐·邱奇和他的学生斯蒂芬·科尔·克莱尼在20世纪30年代发明的。 λ演算可以被称为最小的通用程序设计语言。它包括一条变换规则(变量替换)和一条函数定义方式。 λ演算表达了两个计算机计算中最基本的概念“代入”和“置换”。“代入”我们一般理解为函数调用,或者是用实参代替函数中的形参;“置换”我们一般理解为
dependent_typed:从简单类型 Lambda 演算到依赖类型 Lambda 演算
浏览:148
依赖类型 Lambda 演算 概括 这是我在围绕依赖类型扭曲我的头的存储库。 贡献 是的,请这样做! 有关指南,请参阅。 执照 参见。 版权所有 (c) 2015 Jeremy Bi。
Java 8 lambda
浏览:170
java 8 初次使用者学习lambda的基本手册,通过练习可以快速掌握部分lambda语法,代码更加简洁
走进Java Lambda
浏览:100
走进Java Lambda
lambda演算入门
浏览:42
函数式编程入门概念之一,lambda演算是函数式编程的数学理论基础...
lambda演算
浏览:128
3星 · 编辑精心推荐
有关于lambada演算,程序设计原理、语义语法的文献
lambda-calculus-and-categories:我的 lambda 演算和类别课程材料的存储库
浏览:115
6 课:lambda 演算简介 [ ][ ][ ] 第 7 课:使用无类型 lambda 演算计算递归函数 [ ][ ][ td + 视频] 第8课:简单的lambda演算,教堂编码[ 视频] [ 注释] [ td + video ] 第 9 课:简单类型的 lambda 演算和笛卡尔...
Python-一个lambda演算的解释器实现
浏览:33
一个 lambda 演算的解释器实现
lambda-parser:用于lambda演算的完整(几乎没有错误!)虚拟机和编译器
浏览:165
这里的目标是从lambda演算构建完整的函数式编程语言。 当前功能包括数字,运算符,字符串,列表和let语句。 该语言经过编译,并通过虚拟机进行评估。 即将推出的功能包括: 显式递归let语句 内置布尔 与守卫的模式...
通用lambda:使用lambda演算的通用函数的实现
浏览:152
使用lambda演算实现通用函数 该代码演示了一个通用函数(以lambda微积分为基础,表示二进制函数对二进制字符串的部分排斥)。 与以前的尝试不同(例如二进制lambda演算),它使用lambda项与输入上的ℕ之间的双射...
lambda:无类型的lambda演算解释器
浏览:18
无类型的lambda演算解释器 在ghci中运行 $ ghci > :l Lambda Lambda> main 要使用ghcjs编译并使用Node.js运行,请执行以下操作: $ ghcjs -o lambda Lambda $ node lambda.jsexe/all.js 抽象器是克拉符号^因此...
PHP中的Lambda演算解释器。-PHP开发
浏览:72
Lambda演算Lambda演算是一种非常小的编程语言,由Alonzo Church于1936年发明。 它的功能等效于PHP中的Turing Machine lambda-php Lambda演算解释器。 Lambda演算Lambda演算是一种非常小的编程语言,由Alonzo Church...
lambda:lambda演算解释器
浏览:124
lambda演算解释器 什么: 用C ++编写的小型lambda演算解释器。 它支持α转换和β减少,以及精确跟踪替换和重命名的输出。 如何: 支持标准的lambda演算语法,例如: (λz.(((λx.(λy.x)) z) ((λx.(λy.x)) z)))...
lambda-scala:Scala 中的类型级 lambda 演算
浏览:158
Scala 中的类型级 lambda 演算 此存储库演示了 Scala 类型中 lambda 演算的实现。 无类型 lambda 演算 import lambda . _ case class Equals [ A > : B < : B , B ]() // this checks type equality type S = x ...
lambda-calculator:lambda演算解释器
浏览:186
lambda演算解释器 这是lambda演算解释器lc的代码。 lc会按正常顺序(从最左到最先)减少beta和eta。 lc将重命名绑定变量以防止捕获变量。 建筑 我没有做GNU风格的autoconf脚本。 我确实编写了相当严格的ANSI C(我...
lambdapi:Haskell中的依赖类型Lambda演算
浏览:69
相依型Lambda演算此项目是对“”论文的源代码的重组。 这个项目的目标是使代码可读性和可理解性。 有兴趣的读者也可以查看。 该项目的目标是使代码的读取和导航尽可能简单。如何玩例子单纯型Lambda演算$ stack run ...
malc:进行lambda演算
浏览:87
malc-制作Lambda演算 关于 Malc是用于以任何支持编程语言实现无类型的指南和规范。 λ演算有时被称为世界上最小的编程语言。 它是一个完全由功能和功能应用组成的符号。 甚至“原始值”也表示为组合器,即没有全局...
Introduction to Lambda Calculus
浏览:108
λ演算,λ(Lambda(大写Λ,小写λ)读音:lan b(m) da(兰亩达)['læ;mdə])演算是一套用于研究函数定义、函数应用和递归的形式系统。它由 Alonzo Church 和 Stephen Cole Kleene 在 20 世纪三十年代引入,...
lambda:用Scala编写的无类型lambda演算解释器
浏览:77
拉姆达用Scala编写的无类型lambda演算解释器关于该解释器是用Scala编写的,是使用SBT构建系统构建的。 它解释了无类型的lambda演算表达式,并显示了解决该表达式所采取的每个中间步骤。 都显示了alpha转换和beta减少...
Vector Davinci官方帮助配置使用手册(AutoSAR).pdf
浏览:198
5星 · 资源好评率100%
Vector官方帮助文档,配置使用手册。从新建DaVinci工程开始一步一步的讲解如何配置工程;如何编译生成C代码;如何导入CDD、DBC等文件。手册讲解细致,可以说是手把手教学了
c++入门,核心,提高讲义笔记
浏览:158
5星 · 资源好评率100%
最详细的c++入门,核心,提高讲义笔记,看会成为大佬没问题,下载后有疑问请私信。
数字图像处理 冈萨雷斯 课后习题
浏览:92
数字图像处理 冈萨雷斯 第三版 课后习题。 免费下,没积分的朋友们,免费下。 百度文库网页链接转出来的,清晰,内容可能不太全,没积分的朋友们将就看吧。
离散数学及其应用 第八版 奇数编号练习答案.pdf
浏览:191
4星 · 用户满意度95%
离散数学及其应用 第八版本科教学版答案,有需要其他版本到的还可以去华章图书官网下载 地址:http://www.hzbook.com/
科研伦理与学术规范 期末考试2 (40题).pdf
浏览:87
科研伦理与学术规范 期末考试2 (40题)
最值得收藏的 考研线性代数 全部知识点思维导图整理(张宇, 汤家凤), 附带惯用思维/做题技巧/易错点整理.emmx
浏览:161
5星 · 资源好评率100%
用mindmaster打开文件,本文的思维导图根据张宇和汤家凤两人的课程整理而来并标记出重点内容,整合了很多技巧,题型,方法
软件著作权设计说明书模板(含填写说明).docx
浏览:83
5星 · 资源好评率100%
软件著作权最新版设计说明书,每项都有填写说明,可供新人参考。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
星海河岸
粉丝: 13
资源:
3
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
Nat+acl Nat+acl
三菱PLC例程源码离子水
qml用户登录界面设计(二次元版)
三菱PLC例程源码冷室压铸机FXPLC程序
mysql-community-lib
mysql-community-common-8
三菱PLC例程源码冷却水泵节能循环运行2
mysql-community-client-plugins
三菱PLC例程源码冷却水泵节能循环运行1
mysql-community-client
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功