Category:Combinatory logic
From Wikipedia, the free encyclopedia
Combinatory logic is a logical calculus used in mathematical logic and theoretical computer science.
Interaction
Languages
- This page was last modified 14:55, 3 April 2008 by Wikipedia user Claymore. Based on work by Wikipedia user(s) Lambiam, Gregbard and CBM.
- 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