File:Lambda_calculus-Church_numerals.png
From Wikipedia, the free encyclopedia
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
DescriptionLambda calculus-Church numerals.png |
English: Church encoding of the natural numbers in lambda calculus |
Date | |
Source | https://en.wikipedia.org/wiki/Lambda_calculus |
Author | Isaac David |
Licensing
Public domainPublic domainfalsefalse |
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.
|
Items portrayed in this file
depicts
15 July 2020
image/png
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 https://en.wikipedia.org/wiki/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
This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.
If the file has been modified from its original state, some details may not fully reflect the modified file.
Software used | |
---|---|
Date and time of digitizing |
|