Combinatory Logic
by earl, 6954 days ago
A computation model closely related to Lambda Calculus that replaces lambda abstractions with combinators. Combinatory logic is computationally equivalent to Lambda Calculus (and therefore "Turing-complete").- http://homepages.cwi.nl/~tromp/cl/cl.html
- http://www.rbjones.com/rbjpub/logic/cl/
- http://www.cs.oberlin.edu/classes/dragn/labs/combinators/combinators.html
search
2 active users
- unknown (2)
backlinks (more)
recent stores (more)
echo earlZstrainYat|tr ZY @.
