Depends on your background. For students who can program but are not mathematical, I recommend TAPL: https://www.cis.upenn.edu/~bcpierce/tapl/ I recommend

Depends on your background. For students who can program but are not mathematical, I recommend TAPL: https://www.cis.upenn.edu/~bcpierce/tapl/ I recommend implementing every typing single system in the book. If you come from a mathematical background, it might be too slow paced though. I'm not sure I have a good recommendation for somebody who starts out from a strong maths background.