From 3488e0ab2a332058467fb087a02f860cb3670f9c Mon Sep 17 00:00:00 2001
From: chris <chris@web>
Date: Wed, 11 Feb 2015 14:47:32 -0500
Subject: [PATCH] added link to Scott's history of the lambda calculus

---
 readings.mdwn | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/readings.mdwn b/readings.mdwn
index b30c3dd4..a7404732 100644
--- a/readings.mdwn
+++ b/readings.mdwn
@@ -63,8 +63,9 @@ get more out of. (Rinse and repeat.)
 
 ## Untyped lambda calculus and combinatory logic ##
 
+*	[[Dana Scott's Turing centenary address on the lambda calculus|http://turing100.acm.org/lambda_calculus_timeline.pdf]]
 *	[[!wikipedia Lambda calculus]]
-<!~- Haskell Curry had ideas that he felt were validated upon reading a 1924 paper by M. Schönfinkel "Uber die Bausteine der mathematischen Logik" which used combinators in a similar way to his own ideas. Haskell then wrote "An analysis of logical substitution" which appeared in the American Journal of Mathematics in 1929. ~->
+<!~- Haskell Curry had ideas that he felt were validated upon reading a 1924 paper by M. Schönfinkel "Uber die Bausteine der mathematischen Logik" which used combinators in a similar way to his own ideas. Curry then wrote "An analysis of logical substitution" which appeared in the American Journal of Mathematics in 1929. ~->
 *	[[!wikipedia Moses Schönfinkel]]
 *	[[!wikipedia Haskell Curry]]
 *	[[!wikipedia Alonzo Church]]<p>
-- 
2.11.0