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, ...
COMS10016 Imperative and Functional Programming or equivalent. COMS10014 Mathematics for Computer Science A or equivalent. COMS20007 Programming Languages and Computation or equivalent. or Basic set ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback