LFCS Seminar 26, 27 June and 01, 08 July: Four lectures by John Longley

26 Jun: John Longley, Lecture 1, University of Edinburgh
Title: Godel's System T
 
27 Jun: John Longley, Lecture 2, University of Edinburgh
Title: The Dialectica interpretation 
01 Jul: John Longley, Lecture 3, University of Edinburgh
Title: Plotkin's PCF and its sublanguages
 
08 Jul: John Longley, Lecture 4, University of Edinburgh
Title: Computability theory of PCF