history of (typed) lambda calculus

Quote:

>I am looking for pointers to literature about the history of the

>lambda calculus especially the typed one. I've been told that there

>was a paper by Kleene in the 70ies - can anybody give me a precise

^

On second thoughts, there are papers dedicated to Prof Kleene from the late

seventies, and one of them does give some history of the lambda calculus:

Dana Scott, Lambda Calculus: Some Models, Some Philosophy

in

J. Barwise, H.J. Keisler, K. Kunen (eds), The Kleene Symposium ---

Dedicated to Professor S.C.Kleene on the occasion of his 70th birthday;

North-Holland, Amsterdam, 1980, pp 223--265

(and there are perhaps more papers in that collection worth looking over. I

don't have the book, so I'm not sure)

Hope this is another link,

Henk van Dorp

Quote:

>reference? Im also aware that the introduction to Barendregt's article

>about typed lambda calculi contains some material (and also the book

>about the untyped lambda calculus, esp. all these nice pictures) Are

>there other, recent publications containing stuff about history?

>Thanks,

>Thorsten

>--

>Thorsten Altenkirch phone : (+49 89) 2178-2209

>Theoretical Computer Science fax : (+49 89) 2178-2238

>LMU, Munich, Germany Oettingenstr 67, D105

>http://www.tcs.informatik.uni-muenchen.de/~alti