
What are types for?
Jun 26, 2017 - 31:40
Radio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & Podcasts
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...
Greetings to the participants at “Strachey 100” is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University. The logician Dana Scott played a crucial part in the story of denotational semantics, working for a term with...
This episode belongs to Strachey 100: an Oxford Computing Pioneer.
Use the player on this page to stream the episode online.
Published Jun 26, 2017, 23:59 long, audio available.
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.
You can listen to Greetings to the participants at “Strachey 100” online on Radio and Podcast. Open the player on this page to stream the available audio.
Greetings to the participants at “Strachey 100” is an episode from Strachey 100: an Oxford Computing Pioneer by Oxford University.
This episode is 23:59 long.
This episode was published on Jun 26, 2017.
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Yes. This page shows related episodes from Strachey 100: an Oxford Computing Pioneer when more episodes are available from the podcast feed.