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, ...

In-depth investigation of topics in computational linguistics and natural-language processing. Students discuss research papers and undertake a significant research project. This term, the course will ...