This category has only the following subcategory.
- ► Applicative computing systems (5 P)
Pages in category "Lambda calculus"
The following 52 pages are in this category, out of 52 total.
- Lambda calculus (computing)
- Explicit substitution (computing)
- Fixed-point combinator (computing)
- Intersection type discipline (computing)
- Untyped lambda calculus (computing)
- Η-conversion (computing)