Jump to content

File:Lambda calculus-Church numerals.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Lambda_calculus-Church_numerals.png (459 × 196 pixels, file size: 15 KB, MIME type: image/png)

Summary

Description
English: Church encoding of the natural numbers in lambda calculus
Date
Source https://en.wikipedia.org/wiki/Lambda_calculus
Author Isaac David

Licensing

Public domain
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.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

inception

15 July 2020

media type

image/png

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current04:26, 16 July 2020Thumbnail for version as of 04:26, 16 July 2020459 × 196 (15 KB)IsacdaavidUploaded a work by Isaac David from https://en.wikipedia.org/wiki/Lambda_calculus with UploadWizard

The following page uses this file:

Global file usage

The following other wikis use this file:

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.

Retrieved from "https://en.wikipedia.org/wiki/File:Lambda_calculus-Church_numerals.png"