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 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/ https://crypto.stanford.edu/~blynn/lambda/