No higher resolution available.
Lambda_calculus-Church_numerals.png (459 × 196 pixels, file size: 15 KB, MIME type: image/png)
 | This is a file from the
Wikimedia Commons. Information from its
description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
English: Church encoding of the natural numbers in
lambda calculus |
| Date | |
| Source | /info/en/?search=Lambda_calculus |
| Author | Isaac David |
Licensing
|
The depicted text is ineligible for
copyright and therefore in the
public domain because it is not a “literary work” or other protected type in sense of the local copyright law. Facts, data, and unoriginal information which is common property without sufficiently creative authorship in a general typeface or basic handwriting, and simple geometric shapes are not protected by copyright.
This tag does not generally apply to all images of texts. Particular countries can have different legal definition of the “literary work” as the subject of copyright and different courts' interpretation practices. Some countries protect almost every written work, while other countries protect distinctively artistic or scientific texts and databases only. Extent of creativeness, function and length of the text can be relevant. The copyright protection can be limited to the literary form – the included information itself can be excluded from protection.
|
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 04:26, 16 July 2020 |
| 459 × 196 (15 KB) | Isacdaavid | Uploaded a work by Isaac David from /info/en/?search=Lambda_calculus with UploadWizard |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on af.wikipedia.org
- Usage on bcl.wikipedia.org
- Usage on bn.wikipedia.org
- Usage on fa.wikipedia.org
- Usage on ml.wikipedia.org
- Usage on mni.wikipedia.org
- Usage on nl.wikipedia.org
- Usage on pl.wikipedia.org
- Usage on te.wikipedia.org
- Usage on th.wikipedia.org
- Usage on tr.wikipedia.org
- Usage on uk.wikipedia.org
- Usage on zh.wikipedia.org
- Usage on zu.wikipedia.org
Metadata
No higher resolution available.
Lambda_calculus-Church_numerals.png (459 × 196 pixels, file size: 15 KB, MIME type: image/png)
| This is a file from the
Wikimedia Commons. Information from its
description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
English: Church encoding of the natural numbers in
lambda calculus |
| Date | |
| Source | /info/en/?search=Lambda_calculus |
| Author | Isaac David |
Licensing
|
|
The depicted text is ineligible for
copyright and therefore in the
public domain because it is not a “literary work” or other protected type in sense of the local copyright law. Facts, data, and unoriginal information which is common property without sufficiently creative authorship in a general typeface or basic handwriting, and simple geometric shapes are not protected by copyright.
This tag does not generally apply to all images of texts. Particular countries can have different legal definition of the “literary work” as the subject of copyright and different courts' interpretation practices. Some countries protect almost every written work, while other countries protect distinctively artistic or scientific texts and databases only. Extent of creativeness, function and length of the text can be relevant. The copyright protection can be limited to the literary form – the included information itself can be excluded from protection.
|
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 04:26, 16 July 2020 |
| 459 × 196 (15 KB) | Isacdaavid | Uploaded a work by Isaac David from /info/en/?search=Lambda_calculus with UploadWizard |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on af.wikipedia.org
- Usage on bcl.wikipedia.org
- Usage on bn.wikipedia.org
- Usage on fa.wikipedia.org
- Usage on ml.wikipedia.org
- Usage on mni.wikipedia.org
- Usage on nl.wikipedia.org
- Usage on pl.wikipedia.org
- Usage on te.wikipedia.org
- Usage on th.wikipedia.org
- Usage on tr.wikipedia.org
- Usage on uk.wikipedia.org
- Usage on zh.wikipedia.org
- Usage on zu.wikipedia.org