If you don't dislike videos then these "Foundations of Programming Languages" videos seems nice: https://www.youtube.com/channel/UCpSoGwyH5yHHvQut3x6c_2g/pla...