Lambda-Calculus

本专辑为您列举一些Lambda-Calculus方面的下载的内容,Lambda-Calculus等资源。把最新最全的Lambda-Calculus推荐给您,让您轻松找到相关应用信息,并提供Lambda-Calculus下载等功能。本站致力于为用户提供更好的下载体验，如未能找到Lambda-Calculus相关内容，可进行网站注册，如有最新Lambda-Calculus相关资源信息会推送给您。

阅读全文

Lambda-Calculus

: lambda-calculus-js-old:Lambda 微积分的解析器和求解器 lambda-calculus.js Lambda 微积分的解析器和求解器下载（右键单击链接，然后选择“另存为”）用法偏爱将[removed] path/to/lambda-calculus.js [removed] 添加到<head>...</head> 基本用法 var...
评级：0 浏览量：111 收藏量：0 资源大小：777KB 上传时间：2021-06-30

: lambda-calculus-js:用于 JavaScript 的 Lambda 微积分求解器 lambda-calculus.js 用于 JavaScript 的 Lambda 微积分求解器下载用法将[removed][removed]到标题 v ( 'x' ) // Variable x L ( 'x' , v ( 'x' ) ) // Lambda \x.x _ ( v ( 'a' ) , v ( 'b' ) ) // ...
评级：0 浏览量：207 收藏量：0 资源大小：5KB 上传时间：2021-06-30

: lambda-calculus-talk:演讲“来自第一原理的函数式编程”的来源幻灯片：：完整的演示文件： : 跟随演示： git clone ...lambda-calculuscd binary-lambda-calculus在文本编辑器中打开demo-done.lam并在另一个窗口中打开一个终端，然后按照demo-done.lam中的说明进行操作
评级：0 浏览量：72 收藏量：0 资源大小：8.21MB 上传时间：2021-05-25

: lambda-calculus-translation-mackinnon:GitHub Classroom创建的lambda-calculus-translation-mackinnon Lambda微积分到C＃转换器该项目将lambda演算（LC）程序转换为单个有效的C＃表达式。概述该程序从输入文件或标准中读取LC。从那里，它解析程序，生成抽象语法树（AST）表示形式。然后，类型推断器处理AST并为树中...
评级：0 浏览量：72 收藏量：0 资源大小：19KB 上传时间：2021-04-12

: lambda-calculus:在列表中实现的 Lambda 演算抽象 λ演算在 Racket 中实现的教堂编码。版权所有 (c) 2015，Alexander cosm Smoktal 保留所有权利。如果满足以下条件，则允许以源代码和二进制形式重新分发和使用，无论是否修改：源代码的重新分发必须保留上述...
评级：0 浏览量：43 收藏量：0 资源大小：2KB 上传时间：2021-06-04

: lambda-calculus-translation-gavin-1:GitHub Classroom创建的lambda-calculus-translation-gavin-1 lambda微积分翻译加文1 我使用了来自类的代码作为我的基本代码。我将原始的“ translate-arithmetic”函数修改为一个通用的“ translate-lc”，它将从lambda演算语法转换为Python。我没有更改LC语法，而是尝试满足...
评级：0 浏览量：75 收藏量：0 资源大小：3KB 上传时间：2021-04-12

: lambda-calculus-translation-grant:由GitHub Classroom创建的lambda-calculus-translation-grant 译者利用球拍轻松解析LC语法并将其翻译成javascript
评级：0 浏览量：58 收藏量：0 资源大小：2KB 上传时间：2021-04-12

: lambda-calculus-nim：一个用Nim编写的lambda演算解释器项目 Lambda微积分解释器，用Nim编写这是我正在做的个人项目。我喜欢Lambda微积分，并且对Nim（我最近发现的一种编程语言）非常感兴趣。我将采用半功能方法来编写此解释器。敬请关注！怎么跑导航到终端中的文件。...
评级：0 浏览量：93 收藏量：0 资源大小：65KB 上传时间：2021-02-11

: lambda-calculus-translation-wickham-and-alex:GitHub Classroom创建的lambda-calculus-translation-... λC编译器亚历克斯·麦克林（Alex MacLean），贝利·威克姆（Bailey Wickham）安装 make 用法 ./transpiler c|python infile >> ./transpiler python examples/fact.lc
评级：0 浏览量：42 收藏量：0 资源大小：6KB 上传时间：2021-04-11

: lambda-calculus-and-categories:我的 lambda 演算和类别课程材料的存储库 Lambda微积分和类别我的 lambda 演算和类别课程材料的存储库第1课：课程简介[ ] [ ] 第2课：类别，函子，自然变换[ ] [ ] 第3课：类别的2类[ ] [ ] 第4课：字符串图和附件[ ] [ ] 第5课：免费的笛卡尔类别[ ] [ ] 第...
评级：0 浏览量：91 收藏量：0 资源大小：256.86MB 上传时间：2021-05-29

: Lambda-Calculus-and-The-Krivine-Abstract-Machine:第二年函数式编程模块的课程工作，其中我们负责在... Lambda-Calculus-and-The-Krivine-Abstract-Machine:第二年函数式编程模块的课程工作，其中我们负责在Haskell中实现Lambda-Calculus和Krivine抽象机
评级：0 浏览量：57 收藏量：0 资源大小：2KB 上传时间：2021-03-28

: lambda-calculus：可在桌面和wasm上运行的lambda演算解释器 Lambda微积分是一种简单的计算模型，唯一的数据类型是带有一个参数并返回一个结果的函数。尽管它很简单，但是它是图灵完备的。有关它的更多信息，请参见，或许多其他来源。这是一个用于实验lambda演算的小项目...
评级：0 浏览量：75 收藏量：0 资源大小：25KB 上传时间：2021-03-02

: Lambda-Calculus-Interpreter:Lambda演算解释器，CS 4110研究的应用 Lambda演算解释器 Lambda演算解释器，CS 4110研究的应用
评级：0 浏览量：95 收藏量：0 资源大小：7KB 上传时间：2021-03-10

: Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell:在Haskell中嵌入全线性Lambda演算在Haskell中嵌入全线性Lambda演算杰夫·波拉科（Jeff Polakow）
评级：0 浏览量：44 收藏量：0 资源大小：213KB 上传时间：2021-05-20

: lambda-calculus:各种编程语言中的无类型lambda演算插图，包括一些Lisp方言关于如何在各种lisp方言中实现lambda演算原语的插图。目前，已为以下Lisp方言实现了该功能： Clojure（在1.6.0版上测试） Common Lisp（在SBCL 1.2.2上测试）方案（已在tinyscheme和scheme48上进行了测试，最新...
评级：0 浏览量：71 收藏量：0 资源大小：32KB 上传时间：2021-05-11

: Lambda-Calculus and Combinators，an Introduction The λ-calculus and combinatory logic are two systems of logic which can also serve as abstract programming languages. They both aim to describe some very general properties of programs that can ...
评级：5 浏览量：182 收藏量：2 资源大小：2.06MB 上传时间：2011-10-19

: ip6_lambda-calculus-in-js：LambdaKalkülfürpraktisches香草JavaScript-IP5 HS2019 IP6 HS2020 LambdaKalkül实用JavaScriptLambdaKalkül实用JavaScriptForschungsarbeit IP6-LambdaKalkül的Fortschrittliche Abstraktionen mit JavaScript ListMap Observable-ListMap 也许作者Benjamin Brodwolf Pascal ...
评级：0 浏览量：62 收藏量：0 资源大小：594KB 上传时间：2021-02-10

: lambda_calculus lambda_calculus 具有各种功能的lambda_calculus库。特征：解析器生成器，可以生成可以解析某些组合逻辑代码（TMP）的解析器使用解析器生成器（TMP）的BCKW和Iota的解析器教堂数字（TMP）教会数字和布尔逻辑...
评级：0 浏览量：89 收藏量：0 资源大小：15KB 上传时间：2021-04-29

: lambda-diagrams:lambda项归约序列的动画 Lambda图免责声明：这不是Google的官方产品John Tromp的图形表示法用于lambda术语的实现。它在标准输入上读取一个lambda项，并对其评估进行动画处理。这个展示了用此程序制作的动画。用法： stack buildstack ...
评级：0 浏览量：83 收藏量：0 资源大小：14KB 上传时间：2021-05-16

: lambda-n-ways Lambda-Calculus 熟n路这个存储库是为无类型 lambda 演算实现避免捕获替换和 alpha 等价的实验。它包含许多不同实现策略的基准和实现，以及用于绑定支持的现有库。历史：这个 repo 源自 Lennart Augustsson 未...
评级：0 浏览量：82 收藏量：0 资源大小：2.13MB 上传时间：2021-07-23

: lambda-gp-for-lilgp 其中包括一个lambda-calculus beta减少模块。 GP设置尝试查找f（x）= 2x函数。它的代码与x的correct = Cchurch_num(testcases[i]*2)以correct = Cchurch_num(testcases[i]*2)形式嵌入到app_eval_fitness中的app_...
评级：0 浏览量：63 收藏量：0 资源大小：28KB 上传时间：2021-05-18

: lambda-scala:Scala 中的类型级 lambda 演算 Scala 中的类型级 lambda 演算此存储库演示了 Scala 类型中 lambda 演算的实现。无类型 lambda 演算 import lambda . _ case class Equals [ A > : B < : B , B ]() // this checks type equality type S = x ...
评级：0 浏览量：150 收藏量：0 资源大小：9KB 上传时间：2021-06-08

: lambda-calculator：lambda演算解释器 lambda演算解释器这是lambda演算解释器lc的代码。 lc会按正常顺序（从最左到最先）减少beta和eta。 lc将重命名绑定变量以防止捕获变量。建筑我没有做GNU风格的autoconf脚本。我确实编写了相当严格的ANSI C（我...
评级：0 浏览量：108 收藏量：0 资源大小：86KB 上传时间：2021-02-18

: Graphic lambda calculus Graphic lambda calculus
评级：0 浏览量：29 收藏量：0 资源大小：2.93MB 上传时间：2023-07-16

: Introduction to Lambda Calculus λ演算，λ(Lambda（大写Λ，小写λ）读音：lan b（m） da（兰亩达）['læ;mdə])演算是一套用于研究函数定义、函数应用和递归的形式系统。它由 Alonzo Church 和 Stephen Cole Kleene 在 20 世纪三十年代引入，...
评级：0 浏览量：108 收藏量：0 资源大小：876KB 上传时间：2019-07-12

: lambda-talk:一群功能
评级：0 浏览量：42 收藏量：0 资源大小：444KB 上传时间：2021-05-27

: Lambda Calculus with Types 很好的书，要看的人也不用我安利，某宝上35大洋买的...希望大家也上传一些自己的私藏~~~~~
评级：0 浏览量：99 收藏量：0 资源大小：46.47MB 上传时间：2018-03-26

: lambda-parser:用于lambda演算的完整（几乎没有错误！）虚拟机和编译器 Lambda微积分编译器这里的目标是从lambda演算构建完整的函数式编程语言。当前功能包括数字，运算符，字符串，列表和let语句。该语言经过编译，并通过虚拟机进行评估。即将推出的功能包括：显式递归let语句 ...
评级：0 浏览量：120 收藏量：0 资源大小：11KB 上传时间：2021-03-18

: lambda calculus Lambda学习，不错的资料参考 The λ-calculus was begun at Princeton, and the purpose of this report is to show how it has been recycled every decade after the 1930s in new and useful ways.
评级：0 浏览量：154 收藏量：0 资源大小：1.05MB 上传时间：2015-06-27

: abella:基于lambda-tree语法的交互式定理证明器快速开始通过从根目录运行“ make”来编译Abella。这将创建二进制文件“ abella”（在类似Unix的系统上，包括Mac OS X），或“ abella.exe”（在Windows上）。该二进制文件可以在任何地方自由复制。...
评级：0 浏览量：39 收藏量：0 资源大小：280KB 上传时间：2021-05-06

: Orangeboard Lambda Calculus Interpreter-开源一个简单的.NET / mono应用程序，用于解释和评估未类型化的lambda演算表达式。
评级：0 浏览量：49 收藏量：0 资源大小：253KB 上传时间：2021-04-26

: lambda-zero：一种最小的纯惰性函数式编程语言 lambda-zero：一种最小的纯惰性函数式编程语言
评级：0 浏览量：72 收藏量：0 资源大小：133KB 上传时间：2021-02-04

: The Lambda Calculus (Stanford Encyclopedia of Philosophy).pdf The Lambda Calculus (Stanford Encyclopedia of Philosophy)
评级：0 浏览量：92 收藏量：0 资源大小：344KB 上传时间：2021-09-04

: lambda-m:一种懒惰且无类型的实验编程语言原始形式的lambda演算也是一种内核语言。但是，它缺少反思和改变自身的能力。反过来，这意味着λ演算的表达能力非常有限。 λM的目标是解决这个问题的限制。语言语法term = let | data | macro | abs ;let = ...
评级：0 浏览量：46 收藏量：0 资源大小：57KB 上传时间：2021-05-02

: LCI - A lambda calculus interpeter-开源 LCI是lambda演算的解释器。它支持许多高级功能，例如整数，递归，用户定义的运算符和多种评估策略。
评级：0 浏览量：40 收藏量：0 资源大小：1024KB 上传时间：2021-04-26

: lambda_calculus:Safe Rust中无类型Lambda演算的简单零依赖实现 lambda_calculus lambda_calculus是Safe Rust中纯lambda演算的简单，零依赖实现。特征经典和De Bruijn索引表示法中的lambda表达式解析器7种减少β的策略一组标准术语（组合词） lambda编码的布尔值，对，元组，选项...
评级：0 浏览量：75 收藏量：0 资源大小：54KB 上传时间：2021-05-23

: Lecture+notes+on+the+lambda+calculus Lecture+notes+on+the+lambda+calculus
评级：0 浏览量：64 收藏量：0 资源大小：462KB 上传时间：2015-05-11

: An Introduction to the Lambda Calculus It is surprising that despite the simplicity of its syntax, the λ-calculus hosts a large body of notation, abbreviations, naming conventions, etc. Our aim, as far as the notation throughout this work...
评级：0 浏览量：76 收藏量：0 资源大小：297KB 上传时间：2019-01-30

: the pi-calculus: a theory of mobile processes (缺页部分) 本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
评级：5 浏览量：141 收藏量：0 资源大小：509KB 上传时间：2010-08-06

: lambdaLex:Lambda Calculus-Haskell 翻译器，用 Lex 和 Yacc 构建拉姆达莱克斯安装：完整的程序可以使用内置make在./Lex... 可以使用\ as lambda编写 lambda 表达式。以下代码是输入文件的示例： Defs .zero = ( \ f . ( \ x . x))one = ( \ f . ( \ x . f x))two = ( \ f . ( \
评级：0 浏览量：56 收藏量：0 资源大小：53KB 上传时间：2021-07-10

: A Tutorial Introduction to the Lambda Calculus 函数式编程的理论论文
评级：0 浏览量：77 收藏量：0 资源大小：184KB 上传时间：2016-12-24

: The Lambda Calculus Its Syntax and Semantics 2nd pdf 这是一本讲述了Lambda Calculus的书，而且其内容讲的十分透彻，只是很厚，希望大家努力
评级：0 浏览量：237 收藏量：0 资源大小：12.74MB 上传时间：2018-05-10

: the pi-calculus: a theory of mobile processes [part1] 本书是介绍pi演算的全面教材。pi演算是刻画并行计算的基本理论，与lambda演算刻画串行计算相对。pi演算的特点是可描述可移动性。
评级：5 浏览量：126 收藏量：0 资源大小：10MB 上传时间：2010-05-04

: Lambda Calculus and Combination an introduction Lambda Calculus for computer science; Although it is an introduction, it is an abstract for lambda calculus
评级：0 浏览量：119 收藏量：0 资源大小：1.58MB 上传时间：2019-01-20

: Lambda Calculus its Syntax and Semantics.djvu Lambda Calculus its Syntax and Semantics.djvu 俄文版
评级：3 浏览量：83 收藏量：1 资源大小：5.03MB 上传时间：2012-11-26

: The Lambda Calculus Its Syntax and Semantics 2nd lambda的书
评级：5 浏览量：156 收藏量：0 资源大小：12.73MB 上传时间：2016-11-11

: A short introduction to the Lambda Calculus A short introduction to the Lambda CalculusA short introduction to the Lambda CalculusA short introduction to the Lambda Calculus
评级：5 浏览量：81 收藏量：1 资源大小：89KB 上传时间：2011-07-12

: lambda_calculus_evaluator:一个简单的Lambda演算评估器 Lambda演算评估器介绍这是一个简单的lambda演算评估程序，它支持以下具体语法：表达式：=标识符| （lambda标识符表达式）| 表达式表达式为了使它真正纯净，当前不支持常量。它应用alpha转换和beta减少来减少...
评级：0 浏览量：77 收藏量：0 资源大小：22KB 上传时间：2021-05-01

: 2006_03_Homotopy_lambda_calculus:Voevodsky 2006 年关于同伦 lambda 演算的论文 2006_03_Homotopy_lambda_calculus 这是我在 2006 年写的同伦 lambda 演算笔记的 pdf 文件。原始 tex 文件上的日期是 2006 年 3 月 5 日。
评级：0 浏览量：38 收藏量：0 资源大小：200KB 上传时间：2021-07-01

资源推荐

相关资源标签

pi-calculus, mobile processes pi-calculus Lambda Calculus Lambda-Calculus lisp lambda calculus church encode NLP 编程理论 programming-language haskell functional functional-programming lambda-calculus minimalist javascript immutable test-framework Rust Python compiler command-line virtual-machine Go Racket 开源软件 programming metaprogramming macros OCaml Java rust lambda-functions rust-library composition mathematics currying theory-of-computation combinators scala typelevel HTML