Skip to main content
Home

Main navigation

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

Main navigation

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

denotational semantics

Radcliffe Camera roof against blue sky, with Oxford banner above

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.
Radcliffe Camera roof against blue sky, with Oxford banner above

Semantic relationships: reducing the separation between practice and theory

Christopher Strachey believed that the gap between theory and practice was impeding the development of computing science.
Radcliffe Camera roof against blue sky, with Oxford banner above

SIS, a semantics implementation system

During Peter’s DPhil studies, supervised by Christopher Strachey, he developed a prototype of a system for executing programs based on their denotational semantics.
Radcliffe Camera roof against blue sky, with Oxford banner above

Strachey and the Oxford Programming Research Group

Christopher Strachey’s right-hand man at Oxford talks about Strachey’s time as the head of the Programming Research Group (PRG).

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
  • Login
'Oxford Podcasts' X Account @oxfordpodcasts | Upcoming Talks in Oxford | © 2011-2026 The University of Oxford