没有合适的资源？快使用搜索试试~
我知道了~
文库首页
操作系统
OS
Graphic lambda calculus
Graphic lambda calculus
lambda
需积分: 0
0 下载量
118 浏览量
2023-07-16
10:18:27
上传
评论
收藏
2.93MB
PDF
举报
温馨提示
立即下载
Graphic lambda calculus
资源推荐
资源评论
lambda_calculus
浏览：94
lambda_calculus 具有各种功能的lambda_calculus库。 特征： 解析器生成器，可以生成可以解析某些组合逻辑代码（TMP）的解析器 使用解析器生成器（TMP）的BCKW和Iota的解析器 教堂数字（TMP） 教会数字和布尔逻辑接口到C ++ TMP代码 命题逻辑（TMP） 组合器演算（TMP） 数据结构，例如列表和对（TMP） Y组合器（TMP） 能够将TMP
lambda-calculus：可在桌面和wasm上运行的lambda演算解释器
浏览：18
Lambda微积分是一种简单的计算模型，唯一的数据类型是带有一个参数并返回一个结果的函数。 尽管它很简单，但是它是图灵完备的。 有关它的更多信息，请参见， 或许多其他来源。 这是一个用于实验lambda演算的小项目。 它不打算在生产中有用或功能完整。 它的语法也与标准lambda演算（'a-> a'而不是'λa。a'）略有不同，因为我不喜欢lambda字符的标准替代形式。 有两个界面：和命令行
lambda-calculus:在列表中实现的 Lambda 演算抽象
浏览：51
λ演算 在 Racket 中实现的教堂编码。 版权所有 (c) 2015，Alexander cosm Smoktal 保留所有权利。 如果满足以下条件，则允许以源代码和二进制形式重新分发和使用，无论是否修改： 源代码的重新分发必须保留上述版权声明、此条件列表和以下免责声明。 以二进制形式重新分发必须在随分发提供的文档和/或其他材料中复制上述版权声明、此条件列表和以下免责声明。 本软件由
lambda-calculus-translation-grant:由GitHub Classroom创建的lambda-calculus-translation-grant
浏览：146
译者 利用球拍轻松解析LC语法并将其翻译成javascript
lambda-calculus:各种编程语言中的无类型lambda演算插图，包括一些Lisp方言
浏览：154
概述 关于如何在各种lisp方言中实现lambda演算原语的插图。 目前，已为以下Lisp方言实现了该功能： Clojure（在1.6.0版上测试） Common Lisp（在SBCL 1.2.2上测试） 方案（已在tinyscheme和scheme48上进行了测试，最新版本取自于2015-06-06的brew回购 目前最先进的实现是Clojure，它包括教堂数字，布尔逻辑和内联测试。 其他
怎么样使用Graphic画直线和曲线
浏览：107
这个小作业我用Graphic做的一个画图程序，看了肯定会用Graphic了 仅对于初学者啊
java Graphic 用法
浏览：44
4星 · 用户满意度95%
java中 Graphic类的继承及其基本用法，Graphic 作为抽象类，其用法继承组件，重写paint
Graphic绘图_graphic绘图_
浏览：192
实现动态、静态曲线绘制，饼状图、条形图等显示。
Windows Graphic Programming ,
浏览：194
Windows Graphic Programming 的前几章 ，中英文对照，这些主要讲windows的基本的图像处理模块~
2006_03_Homotopy_lambda_calculus:Voevodsky 2006 年关于同伦 lambda 演算的论文
浏览：109
2006_03_Homotopy_lambda_calculus 这是我在 2006 年写的同伦 lambda 演算笔记的 pdf 文件。原始 tex 文件上的日期是 2006 年 3 月 5 日。
lambda.ly:JavaScript 中的 Scheme 解释器 lambda calculus reducer
浏览：124
lambda.ly JavaScript 中的 Scheme 解释器。 可在。 去做 重写eval函数以应用评估的替代模型。 缺点单元格/评估可视化。 一个卫生的宏观系统。 学分 执照 麻省理工学院
lambda-calculus-and-categories:我的 lambda 演算和类别课程材料的存储库
浏览：32
Lambda微积分和类别 我的 lambda 演算和类别课程材料的存储库 第1课：课程简介[ ] [ ] 第2课：类别，函子，自然变换[ ] [ ] 第3课：类别的2类[ ] [ ] 第4课：字符串图和附件[ ] [ ] 第5课：免费的笛卡尔类别[ ] [ ] 第 6 课：lambda 演算简介 [ ][ ][ ] 第 7 课：使用无类型 lambda 演算计算递归函数 [ ][
An introduction to functional programming through lambda calculus.PDF.zip
浏览：28
Author: Michaelson, Greg Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction t
introduction to lambda calculus.Henk Barendregt Erik Barendsen
浏览：37
introduction to lambda calculus.Henk Barendregt Erik Barendsen.pdf
OpenGL的graphic engine
浏览：108
这是OpenGL 的graphic engine，可以再Linux下编译使用，也可以在windows 下将单独的资源拉出来使用
Photo/Graphic Edge v4.0
浏览：128
如果你觉得照片或是其他的图片四四方方的不是很好看，哪你可以用Photo/Graphic Edge来为他们做些变化，例如加上更好看的边框等等。Photo/Graphic Edge是一种影像处理软体，它虽然不能直接拿来绘图，不过它却可以把你...
kity, Kity Web Vector Graphic Libary.zip
浏览：112
kity, Kity Web Vector Graphic Libary
Mentor Graphic DFT 手册
浏览：121
3星 · 编辑精心推荐
Mentor Graphic DFT 手册 培训手册
VC++深入详解-图形graphic
浏览：39
Graphic.dsp This file (the project file) contains information at the project level and is used to build a single project or subproject. Other users can share the project (.dsp) file, but they ...
Lecture+notes+on+the+lambda+calculus
浏览：127
Lecture+notes+on+the+lambda+calculus
LCI - A lambda calculus interpeter-开源
浏览：42
LCI是lambda演算的解释器。 它支持许多高级功能，例如整数，递归，用户定义的运算符和多种评估策略。
lambda-calculus-translation-wickham-and-alex:GitHub Classroom创建的lambda-calculus-translation-wickham
浏览：172
λC编译器 亚历克斯·麦克林（Alex MacLean），贝利·威克姆（Bailey Wickham） 安装 make 用法 ./transpiler c|python infile >> ./transpiler python examples/fact.lc
lambda-calculus-js-old:Lambda 微积分的解析器和求解器
浏览：189
移至 lambda-calculus.js Lambda 微积分的解析器和求解器 下载 （右键单击链接，然后选择“另存为”） 用法 偏爱 将[removed] path/to/lambda-calculus.js [removed] 添加到<head>...</head> 基本用法 var e = lambda ( '(λx.x) a' ) ; // this is
lambda_calculus_evaluator:一个简单的Lambda演算评估器
浏览：128
Lambda演算评估器 介绍 这是一个简单的lambda演算评估程序，它支持以下具体语法：表达式：=标识符| （lambda标识符表达式）| 表达式表达式 为了使它真正纯净，当前不支持常量。 它应用alpha转换和beta减少来减少表达式。 此评估程序是使用C实现的。Lex和Yacc用于生成扫描器和解析器。 先决条件 除了基本的构建工具GCC和Make之外，还需要Lex和Yacc的实现来编译和运
Plot Graphic Library
浏览：117
Plot Graphic Library with source code.
Graphic_Vc_
浏览：3
Graphic 用VC画直线、画椭圆、画矩形、画点，选择所要绘制的图形，拖动鼠标即可完成绘制
Graphic Architecture（图形架构翻译版）
浏览：146
Graphic Architecture（图形架构翻译版）
ArcGIS for Flex开发中Graphic的attributes解析
浏览：54
5星 · 资源好评率100%
要将查到的Graphic（不同图层字段的多少可能不一样）的属性在DataGrid中显示（字段为一列，属性值为一列）。由于Graphic的属性attributes为Object类型，不能直接与DataGrid绑定或在DataGrid中达不到预期效果。本文...
C语言“Console Graphic Interface”开发工具包
浏览：185
3星 · 编辑精心推荐
此处的CGI（Console Graphic Interface），即“控制台图形界面”，是自定义的一套控制台应用程序“图形化”界面开发解决方案。由于控制台本身并不能呈现真正的图像，此处所谓“图形界面”，实际上是由各种制表符、...
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
windanchaos
粉丝: 413
资源:
15
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
筷手引流工具.apk
Android studio音乐播放器
论文(最终)_20240430235101.pdf
基于python编写的Keras深度学习框架开发，利用卷积神经网络CNN,快速识别图片并进行分类
基于Python 的 BP神经网络实现不同直径圆的分类
旅游网站设计源码.zip
最全空间计量实证方法（空间杜宾模型和检验以及结果解释文档）.txt
5uonly.apk
蓝桥杯Python组的历年真题
数字电路彩灯控制器的Multisim仿真设计 NE555+74芯片(仿真+报告）
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
