Current Data About
Y combinator
| (P31) |
(Q2976255)
|
| (P61) |
(Q92611)
|
| (P2534) |
\textsf{Y} = \lambda f. \ (\lambda x.f\ (x\ x))\ (\lambda x.f\ (x\ x))
|
| (P6104) |
(Q8487137)
|
other details
| description | one of the fixed-point combinators in untyped lambda calculus |