195:
72:
215:
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
219:
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
378:
220:
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.
467:
517:
477:
507:
43:
447:
127:
83:
51:
570:
This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.
309:
275:
258:
537:
573:
If the file has been modified from its original state, some details may not fully reflect the modified file.
457:
405:
The following pages on the
English Knowledge (XXG) use this file (pages on other projects are not listed):
377:
372:
42:
91:
395:
Uploaded a work by Isaac David from https://en.wikipedia.org/Lambda_calculus with UploadWizard
585:
409:
547:
388:
211:
78:
205:
138:
437:
557:
345:
Click on a date/time to view the file as it appeared at that time.
148:
527:
427:
189:
66:
497:
487:
242:
Add a one-line explanation of what this file represents
110:
90:
Commons is a freely licensed media file repository.
56:(459 × 196 pixels, file size: 15 KB, MIME type:
71:
8:
575:
347:
238:
169:
126:Church encoding of the natural numbers in
420:The following other wikis use this file:
149:https://en.wikipedia.org/Lambda_calculus
598:
593:
582:
577:
407:
323:
307:
289:
273:
256:
253:
234:
227:
194:
7:
336:
116:Lambda calculus-Church numerals.png
52:Lambda_calculus-Church_numerals.png
568:
247:
241:
200:
120:
103:
49:
246:
232:
193:
70:
31:
21:
601:Wed 15 Jul 2020 11:16:29 PM CDT
229:
121:
46:No higher resolution available.
14:
228:
26:
1:
36:
254:Items portrayed in this file
595:Date and time of digitizing
474:Usage on mni.wikipedia.org
434:Usage on bcl.wikipedia.org
621:
554:Usage on zu.wikipedia.org
544:Usage on zh.wikipedia.org
534:Usage on uk.wikipedia.org
524:Usage on tr.wikipedia.org
514:Usage on th.wikipedia.org
504:Usage on te.wikipedia.org
494:Usage on pl.wikipedia.org
484:Usage on nl.wikipedia.org
464:Usage on ml.wikipedia.org
454:Usage on fa.wikipedia.org
444:Usage on bn.wikipedia.org
424:Usage on af.wikipedia.org
337:
16:
438:Siyensyang pangkompyuter
231:
77:This is a file from the
394:
154:
144:
137:
134:
113:
81:. Information from its
558:Inzululwazi yesiCikizi
84:description page there
209:and therefore in the
202:The depicted text is
468:കമ്പ്യൂട്ടർ ശാസ്ത്രം
518:วิทยาการคอมพิวเตอร์
373:04:26, 16 July 2020
508:కంప్యూటరు శాస్త్రం
478:ꯀꯝꯄꯨꯇꯔ ꯂꯧꯁꯤꯡꯀꯥꯡꯂꯣꯟ
608:
607:
528:Bilgisayar bilimi
448:কম্পিউটার বিজ্ঞান
428:Rekenaarwetenskap
416:Global file usage
398:
240:
226:
225:
221:
188:
187:
162:
161:
99:
98:
79:Wikimedia Commons
32:Global file usage
612:
602:
588:
586:gnome-screenshot
576:
410:Computer science
385:
218:
197:
196:
190:
184:
181:
178:
175:
170:
140:
125:
117:
111:
95:
74:
73:
67:
61:
59:
620:
619:
615:
614:
613:
611:
610:
609:
600:
584:
564:
414:
406:
399:
391:
383:
339:
338:
335:
334:
333:
332:
331:
330:
329:
328:
326:
316:
315:
314:
312:
301:
300:
299:
298:
297:
296:
295:
294:
292:
282:
281:
280:
278:
267:
266:
265:
264:
263:
261:
245:
244:
243:
222:
204:ineligible for
182:
179:
176:
173:
168:
163:
130:
128:lambda calculus
115:
108:
101:
100:
89:
88:
87:is shown below.
63:
57:
55:
48:
47:
12:
11:
5:
618:
616:
606:
605:
604:
603:
596:
592:
591:
590:
589:
580:
567:
563:
562:
561:
560:
552:
551:
550:
542:
541:
540:
532:
531:
530:
522:
521:
520:
512:
511:
510:
502:
501:
500:
492:
491:
490:
482:
481:
480:
472:
471:
470:
462:
461:
460:
452:
451:
450:
442:
441:
440:
432:
431:
430:
418:
417:
413:
412:
404:
403:
402:
397:
396:
393:
389:
386:
380:
375:
370:
366:
365:
362:
359:
356:
353:
350:
343:
342:
327:
324:
322:
321:
320:
319:
318:
317:
313:
308:
306:
305:
304:
303:
302:
293:
290:
288:
287:
286:
285:
284:
283:
279:
274:
272:
271:
270:
269:
268:
262:
257:
255:
252:
251:
250:
249:
248:
237:
236:
233:
230:
224:
223:
198:
186:
185:
167:
164:
160:
159:
156:
152:
151:
146:
142:
141:
136:
132:
131:
118:
109:
107:
104:
102:
97:
96:
75:
65:
64:
45:
41:
40:
39:
34:
29:
24:
19:
13:
10:
9:
6:
4:
3:
2:
617:
599:
597:
594:
587:
583:
581:
579:Software used
578:
574:
571:
565:
559:
556:
555:
553:
549:
546:
545:
543:
539:
536:
535:
533:
529:
526:
525:
523:
519:
516:
515:
513:
509:
506:
505:
503:
499:
496:
495:
493:
489:
486:
485:
483:
479:
476:
475:
473:
469:
466:
465:
463:
459:
456:
455:
453:
449:
446:
445:
443:
439:
436:
435:
433:
429:
426:
425:
423:
422:
421:
415:
411:
408:
400:
392:
387:
381:
379:
376:
374:
371:
368:
367:
363:
360:
357:
354:
351:
349:
348:
346:
340:
311:
277:
260:
217:
214:
213:
212:public domain
208:
207:
199:
192:
191:
177:Public domain
174:Public domain
172:
171:
165:
157:
153:
150:
147:
143:
133:
129:
124:
119:
112:
105:
93:
86:
85:
80:
76:
69:
68:
62:
53:
44:
38:
35:
33:
30:
28:
25:
23:
20:
18:
15:
572:
569:
419:
344:
341:File history
291:15 July 2020
210:
203:
201:
139:15 July 2020
122:
92:You can help
82:
50:
22:File history
538:Інформатика
498:Informatyka
488:Informatica
458:علوم رایانه
158:Isaac David
114:Description
401:File usage
390:Isacdaavid
382:459 × 196
358:Dimensions
310:media type
216:copyright.
27:File usage
355:Thumbnail
352:Date/Time
325:image/png
276:inception
206:copyright
166:Licensing
123:English:
58:image/png
566:Metadata
235:Captions
37:Metadata
384:(15 KB)
369:current
364:Comment
259:depicts
239:English
106:Summary
54:
155:Author
145:Source
548:计算机科学
183:false
180:false
361:User
135:Date
17:File
94:.
60:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.