File:Lambda calculus-Church numerals.png
来自Wikimedia Commons
跳转到导航
跳转到搜索
Lambda_calculus-Church_numerals.png (459 × 196像素,文件大小:15 KB,MIME类型:image/png)
文件信息
结构化数据
说明
摘要
[编辑]描述Lambda calculus-Church numerals.png |
English: Church encoding of the natural numbers in lambda calculus |
日期 | |
来源 | https://en.wikipedia.org/wiki/Lambda_calculus |
作者 | Isaac David |
许可协议
[编辑]Public domainPublic domainfalsefalse |
文件历史
点击某个日期/时间查看对应时刻的文件。
日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
---|---|---|---|---|---|
当前 | 2020年7月16日 (四) 04:26 | 459 × 196(15 KB) | Isacdaavid(留言 | 贡献) | Uploaded a work by Isaac David from https://en.wikipedia.org/wiki/Lambda_calculus with UploadWizard |
您不可以覆盖此文件。
文件用途
没有页面使用本文件。
全域文件用途
以下其他wiki使用此文件:
- af.wikipedia.org上的用途
- bcl.wikipedia.org上的用途
- bn.wikipedia.org上的用途
- en.wikipedia.org上的用途
- fa.wikipedia.org上的用途
- ml.wikipedia.org上的用途
- mni.wikipedia.org上的用途
- nl.wikipedia.org上的用途
- pl.wikipedia.org上的用途
- sd.wikipedia.org上的用途
- te.wikipedia.org上的用途
- th.wikipedia.org上的用途
- tr.wikipedia.org上的用途
- uk.wikipedia.org上的用途
- zh.wikipedia.org上的用途
- zu.wikipedia.org上的用途
元数据
此文件含有额外信息,这些信息可能是创建或数字化该文件时使用的数码相机或扫描仪所添加的。如果文件已从其原始状态修改,某些详细信息可能无法完全反映修改后的文件。
使用软件 | |
---|---|
数字化日期时间 |
|