Wikimedi'Òc

Lambda lc.svg - Olivier Hammam

Church numeral links.png - Physis

De Bruijn index illustration 1.svg - Kaustuv

Lambda cube.png - Vi2

SemanticCalculation-JohnMetMary.png - Augur

SemanticCalculation-TheDogBarkedAtTheCat.png - Augur

Machine de Krivine.jpg - PIerre.Lescanne

A lambda-term with links.png - PIerre.Lescanne

Un terme avec liens version 2.png - PIerre.Lescanne

Lambda Cube img.svg - Tellofou

亞佛加厥數-15.png - 張雲鳳

亞佛加厥數-16.png - 張雲鳳

Lambda calculus-Church numerals.png - Isacdaavid

Goldfarb1c.pdf - Jochen Burghardt

Goldfarb1a.pdf - Jochen Burghardt

Goldfarb1b.pdf - Jochen Burghardt

Goldfarb3a.pdf - Jochen Burghardt

Goldfarb2a.pdf - Jochen Burghardt

Goldfarb4a.pdf - Jochen Burghardt

Goldfarb4d.pdf - Jochen Burghardt

Goldfarb4b.pdf - Jochen Burghardt

Goldfarb4c.pdf - Jochen Burghardt

Goldfarb4a svg.svg - Jochen Burghardt