From Logic to Computer Science: A Linguistic Journey

Professor Gordon Plotkin gives the Royal Society Milner Award lecture on the progression of articifial languages, from mathematical logic to modern computer programming languages. Exploring what semantical methods can bring to computer science, he asks where future developments in artificial languges may lead in the twenty-first century.