Template:User λ-4
From Wikipedia, the free encyclopedia
| λ-4 | λn.λf.λx. n (λg.λh. h (g f)) (λu. x) (λu. u) |
Interaction
- This page was last modified 20:29, 5 March 2006 by Wikipedia user Je apostrophe.
- All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity. - About Wikipedia
- Disclaimers