X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=offsite_reading.mdwn;h=b2bab593c9b99951d1ed925e089b3dea30dc6e7f;hp=f41f816d997d3732c185a3303a41195bff6d3f57;hb=646121317052290fe8bae06cbb4293c6c6ae50d9;hpb=6b16fea470000df513c10a4d69631bd33d39c8f1 diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index f41f816d..b2bab593 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -57,8 +57,8 @@ get more out of out. (Rinse and repeat.) * [[!wikipedia Alonzo Church]]

* [[!wikipedia Combinatory logic]] * [Combinatory logic](http://plato.stanford.edu/entries/logic-combinatory/) at the Stanford Encyclopedia of Philosophy -* [[!wikipedia B,C,K,W system]] * [[!wikipedia SKI combinatory calculus]]

+* [[!wikipedia B,C,K,W system]] * [[!wikipedia Church-Rosser theorem]] * [[!wikipedia Normalization property]] * [[!wikipedia Turing completeness]]