I'm planning my next semester and am wanting to take Linear Algebra and Differential equations and need to know if there is anything I need to brush up on for either class. A lot of my friends are ...

Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its core, ...