2 ms·

So a really really good book in starting in this area is Types and Programming Languages by Benjamin Pearce