Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

Greetings to the participants at “Strachey 100”

Series
Strachey 100: an Oxford Computing Pioneer
Video Embed
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.
In this talk, Dana discusses this period as well as reminiscing about his life and career up to that point.

More in this series

View Series
Journey of a Molecular Detective; David Sherratt

Strachey: school master, language designer, colleague

In this panel discussion, three people who knew Christopher Strachey in different contexts talk about their memories of him.
Previous
Journey of a Molecular Detective; David Sherratt

A modelling language approach to defining mathematical structures via semantics

In this talk, Jane presents about her work on modelling dynamic behaviour of systems using quantative modelling techniques. Particular kinds of modelling diagrams are used and a mathematical approach to looking at their meaning is presented.
Next

Episode Information

Series
Strachey 100: an Oxford Computing Pioneer
People
Dana Scott
Keywords
History of computing
denotational semantics
domain theory
programming languages
Department: Department of Computer Science
Date Added: 26/06/2017
Duration: 00:23:59

Subscribe

Apple Podcast Video Video RSS Feed

Download

Download Video

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