I'd call these "interplay" rather than applications: * combinatorics in computational complexity, analysis of algorithms, optimization, etc. * logic in formal

I'd call these "interplay" rather than applications: * combinatorics in computational complexity, analysis of algorithms, optimization, etc. * logic in formal methods. * lambda calculus and category theory in programming languages (more so in functional languages than OO). * linear algebra in graphics, graph theory, etc.