The University where I did my Maths degree also had an extremely good Computer Science department, but sadly this connection was not exploited nearly as much as it should have been. I have two anecdotes which might be relevant: (1) I remember being told off by one teaching assistant for writing a higher-order function using the \lambda notation. (2) I found it very hard to get my head round the Stone-Cech compactification because of the functions and functions of functions that were involved, until I tried writing things down using ML notation.