The linearisation of the lambda-calculus: a tale of two conjectures.

Speaker: Dr. Sandra Alves
Date: 28/01/2015
Time: 11:00 - 12:30

Location: RISC Seminar room