start | find | index | login or register | edit
Combinatory Logic
by earl, 5329 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
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6826 days • c'est un vanilla site