Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Dana Scott

Image
Journey of a Molecular Detective; David Sherratt

Federated Logic Conference (FLoC) 2018

During the past 50 years there has been extensive, continuous, and increasing interacti...
Image
Journey of a Molecular Detective; David Sherratt

Strachey 100: an Oxford Computing Pioneer

Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of...
Title Description People Date Captions
Looking Backward; Looking Forward An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018 Dana Scott 13 July, 2018
Greetings to the participants at “Strachey 100” The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with Christopher Strachey in Autumn 1969, when he created a mathematical model for the foundation of the method. Dana Scott 26 June, 2017
Displaying 1 - 2 of 2 episodes

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford