start | find | index | login or register | edit | ||
Combinatory Logic
by earl, 7195 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 80 active users
backlinks (more) recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8692 days • c'est un vanilla site |