The lambda calculus section of this site helped me so much in my Language Theory course last semester. I highly recommend a look through if you're interested in the basic of computation and types.

https://crypto.stanford.edu/~blynn/lambda/