Combinatory Logic
by earl, 7165 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
44 active users
- unknown (44)
backlinks (more)
recent stores (more)
echo earlZstrainYat|tr ZY @.
