Learning Lambda Calculus

What are some excellent online/free sources (tutorials, overviews, workouts, and so on ) for learning Lambda Calculus?

Especially, I want the adhering to locations :

  • Untyped lambda calculus
  • Simply-typed lambda calculus
  • Other keyed in lambda calculi
  • Church's Theory of Types (I'm not exactly sure where this suits ).

(As I recognize, this need to give a strong basis for the understanding of type theory. )

Any kind of suggestions and also pointers would certainly be valued.

0
2019-05-07 13:25:54
Source Share
Answers: 4

It could be wonderful to resolve Structure and also Interpretation of Computer Programs , which is available online absolutely free. This publication is an intro to computer science and also the shows language Scheme, which is a taste of the shows language Lisp, which is based upon the lambda calculus. Although it is not purely a publication concerning the lambda calculus, it could be enjoyable or valuable to obtain some hands - on and also "sensible" experience with the lambda calculus by reviewing several of this publication and also resolving several of its workouts.

0
2019-05-09 09:01:30
Source

Alligator Eggs is a trendy means to find out lambda calculus.

Additionally learning useful shows languages like Scheme, Haskell etc will certainly be included enjoyable.

0
2019-05-08 19:24:13
Source

Recommendations :

  1. Barendregt & Barendsen, 1984, Introduction to lambda-calculus ;
  2. Girard, Lafont & Taylor, 1987, Proofs and Types ;
  3. Sørenson & Urzyczyn, 1999, Lectures on the Curry-Howard Isomorphism.

Every one of these are stated in the LtU Getting Started thread.

0
2019-05-08 16:00:52
Source

I such as Type Theory and Functional Programming by Simon Thompson.

0
2019-05-08 13:20:39
Source