Category:Lambda calculus
Subcategories
This category has the following 2 subcategories, out of 2 total.
Media in category "Lambda calculus"
The following 6 files are in this category, out of 6 total.
Church numeral links.png 816 × 1,056; 66 KB
De Bruijn index illustration 1.svg 208 × 61; 8 KB
Lambda cube.png 321 × 294; 6 KB
Machine de Krivine.jpg 2,794 × 1,056; 103 KB
SemanticCalculation-JohnMetMary.png 416 × 376; 21 KB
SemanticCalculation-TheDogBarkedAtTheCat.png 1,081 × 1,046; 109 KB
