Category:Lambda calculus
Jump to navigation
Jump to search
formal system in mathematical logic | |||||
 Wikipedia | |||||
| Subclass of | formal system | ||||
| Discoverer or inventor |
| ||||
| |||||
 | |||||
Subcategories
This category has the following 2 subcategories, out of 2 total.
Media in category "Lambda calculus"
The following 8 files are in this category, out of 8 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
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
Un terme avec liens version 2.png 257 × 357; 10 KB
