维基百科

File:Lambda calculus-Church numerals.png

Lambda_calculus-Church_numerals.png （459 × 196像素，文件大小：15 KB，MIME类型：image/png）

摘要

描述
English: Church encoding of the natural numbers in lambda calculus
日期
来源 https://en.wikipedia.org/wiki/Lambda_calculus
作者 Isaac David

许可协议

Public domain
由于本文件描绘的文本不是“文学作品”或其他受当地版权法保护的类型，故其不受著作权保护且属于公有领域。没有足够创作性，作者使用普通字体或基本笔迹创作的事实、数据及公有财产的非原始信息，以及简单的几何图形不受著作权保护。 此标签不应适用于所有文字图片。不同国家对于著作权人的“文学作品”的法律定义和法庭解释实践皆有不同。部分国家保护几乎所有的书面作品，而其他国家仅保护具有独特艺术性或科学性的文献及数据库。文字的创作性程度、作用及长度息息相关。版权保护限于文学形式——其自身包含的信息可能不受保护。

说明

添加一行文字以描述该文件所表现的内容

此文件中描述的项目

描繪內容

文件历史

点击某个日期/时间查看对应时刻的文件。

日期/时间缩⁠略⁠图大小用户备注
当前2020年7月16日 (四) 04:262020年7月16日 (四) 04:26版本的缩略图459 × 196（15 KB）IsacdaavidUploaded a work by Isaac David from https://en.wikipedia.org/wiki/Lambda_calculus with UploadWizard

以下页面使用本文件：

全域文件用途

以下其他wiki使用此文件：

元数据

此文件中包含有扩展的信息。这些信息可能是由数码相机或扫描仪在创建或数字化过程中所添加。

如果此文件的源文件已经被修改，一些信息在修改后的文件中将不能完全反映出来。

检索自“https://zh.wikipedia.org/wiki/File:Lambda_calculus-Church_numerals.png”