If you want to program in Rust (for example) I think the mathematically oriented intro material won't help you so much.
If you want to make something like Rust there is a lot of interesting literature at the graduate level and a fairly clear path that you write a PhD thesis and really do write a language but it is more like Cyclone or Alef, DIBOL or LISP 2 or something like that.
If you are solid on algorithm theory, combinatorics and similar subjects than type theory could be a good addition.
Comments
Depends on your math background.
If you want to program in Rust (for example) I think the mathematically oriented intro material won't help you so much.
If you want to make something like Rust there is a lot of interesting literature at the graduate level and a fairly clear path that you write a PhD thesis and really do write a language but it is more like Cyclone or Alef, DIBOL or LISP 2 or something like that.
If you are solid on algorithm theory, combinatorics and similar subjects than type theory could be a good addition.