Category:Lambda calculus
Jump to navigation
Jump to search
formal system in mathematical logic | |||||||
Upload media | |||||||
Instance of | |||||||
---|---|---|---|---|---|---|---|
Subclass of |
| ||||||
Part of | |||||||
Named after | |||||||
Discoverer or inventor |
| ||||||
|
Subcategories
This category has the following 4 subcategories, out of 4 total.
Media in category "Lambda calculus"
The following 14 files are in this category, out of 14 total.
- A lambda-term with links.png 448 × 582; 22 KB
- Church numeral links.png 816 × 1,056; 66 KB
- De Bruijn index illustration 1.svg 208 × 61; 8 KB
- HaskellBCurry.jpg 279 × 343; 12 KB
- Lambda calculus-Church numerals.png 459 × 196; 15 KB
- Lambda Cube img.svg 253 × 204; 24 KB
- Lambda cube.png 321 × 294; 6 KB
- Lambda lc.svg 375 × 375; 3 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
- Un terme avec liens version 2.png 257 × 357; 10 KB
- 亞佛加厥數-15.png 192 × 85; 2 KB
- 亞佛加厥數-16.png 59 × 67; 682 bytes