LFCS Seminar 26, 27 June and 01, 08 July: Four lectures by John Longley 26 Jun: John Longley, Lecture 1, University of EdinburghTitle: Godel's System T 27 Jun: John Longley, Lecture 2, University of EdinburghTitle: The Dialectica interpretation 01 Jul: John Longley, Lecture 3, University of EdinburghTitle: Plotkin's PCF and its sublanguages 08 Jul: John Longley, Lecture 4, University of EdinburghTitle: Computability theory of PCF Jun 26 2025 16.10 - 17.00 LFCS Seminar 26, 27 June and 01, 08 July: Four lectures by John Longley Four lectures by John Longley https://homepages.inf.ed.ac.uk/jrl/ All at 4.10pm at IF G.03 Informatics Forum, G.03
LFCS Seminar 26, 27 June and 01, 08 July: Four lectures by John Longley 26 Jun: John Longley, Lecture 1, University of EdinburghTitle: Godel's System T 27 Jun: John Longley, Lecture 2, University of EdinburghTitle: The Dialectica interpretation 01 Jul: John Longley, Lecture 3, University of EdinburghTitle: Plotkin's PCF and its sublanguages 08 Jul: John Longley, Lecture 4, University of EdinburghTitle: Computability theory of PCF Jun 26 2025 16.10 - 17.00 LFCS Seminar 26, 27 June and 01, 08 July: Four lectures by John Longley Four lectures by John Longley https://homepages.inf.ed.ac.uk/jrl/ All at 4.10pm at IF G.03 Informatics Forum, G.03
Jun 26 2025 16.10 - 17.00 LFCS Seminar 26, 27 June and 01, 08 July: Four lectures by John Longley Four lectures by John Longley https://homepages.inf.ed.ac.uk/jrl/ All at 4.10pm at IF G.03
