Jtdylktuy

109 108 $begingroup$ What are some good online/free resources (tutorials, guides, exercises, and the like) for learning Lambda Calculus? Specifically, I am interested in the following areas: Untyped lambda calculus Simply-typed lambda calculus Other typed lambda calculi Church's Theory of Types (I'm not sure where this fits in). (As I understand, this should provide a solid basis for the understanding of type theory.) Any advice and suggestions would be appreciated. logic learning online-resources lambda-calculus type-theory share | cite | improve this question edited Apr 17 '16 at 6:53