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
Image of Radcliffe Camera with Oxford University banner above

Federated Logic Conference (FLoC) 2018

During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science. In many...
Image
Image of Radcliffe Camera with Oxford University banner above

Strachey 100: an Oxford Computing Pioneer

Christopher Strachey (1916–1975) was a pioneering computer scientist and the founder of the Programming Research Group, now part of the...
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