The linearisation of the lambda-calculus: a tale of two conjectures.Speaker: Dr. Sandra AlvesDate: 28/01/2015Time: 11:00 - 12:30Location: RISC Seminar room