-[[!wikipedia Lambda calculus]]
-
-[[!wikipedia Haskell Curry]]
-[[!wikipedia Moses Schönfinkel]]
-[[!wikipedia Alonzo Church]]
-
-[[!wikipedia Combinatory logic]]
-[[!wikipedia B,C,K,W system]]
-[[!wikipedia SKI combinatory calculus]]
-
-[[!wikipedia Church-Rosser theorem]]
-[[!wikipedia Normalization property]]
-[[!wikipedia Turing completeness]]
-
-[[!wikipedia Church encoding]]
-[[!wikipedia Y combinator]]
-
-[[!wikipedia Curry-Howard isomorphism]]
-
-[[!wikipedia Evaluation strategy]]
-[[!wikipedia Eager evaluation]]
-[[!wikipedia Lazy evaluation]]
-[[!wikipedia Strict programming language]]
+* [[!wikipedia Lambda calculus]]
+* [Chris Barker's Lambda Tutorial](http://homepages.nyu.edu/~cb125/Lambda)<p>
+
+* [[!wikipedia Haskell Curry]]
+* [[!wikipedia Moses Schönfinkel]]
+* [[!wikipedia Alonzo Church]]<p>
+* [[!wikipedia Combinatory logic]]
+* [Combinatory logic](http://plato.stanford.edu/entries/logic-combinatory/) at the Stanford Encyclopedia of Philosophy
+* [[!wikipedia SKI combinatory calculus]]<p>
+* [[!wikipedia B,C,K,W system]]
+* [[!wikipedia Church-Rosser theorem]]
+* [[!wikipedia Normalization property]]
+* [[!wikipedia Turing completeness]]<p>
+* [[!wikipedia Church encoding]]
+* [[!wikipedia Y combinator]]<p>
+* [[!wikipedia Curry-Howard isomorphism]]<p>
+* [[!wikipedia Evaluation strategy]]
+* [[!wikipedia Eager evaluation]]
+* [[!wikipedia Lazy evaluation]]
+* [[!wikipedia Strict programming language]]