Another aspect of the mathematics of programming is the Categorical perspective. For a taste, I've been enjoying following along at home with MIT's course 18.S097: Programming with Categories:

http://brendanfong.com/programmingcats.html