Can anyone recommend an online course for learning about the lambda calculus and the introductory type theory? I've tried learning about them on my own using b

Can anyone recommend an online course for learning about the lambda calculus and the introductory type theory? I've tried learning about them on my own using books, but I have trouble staying focused and motivated enough to get very far.