Greetings to the participants at “Strachey 100”
Loading Video...
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.
People:
Oxford Unit: