ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Greetings to the participants at “Strachey 100” "
Episode Synopsis
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 episodes of the podcast Strachey 100: an Oxford Computing Pioneer
Strachey: the Bloomsbury Years
26/06/2017
Strachey and the development of CPL
26/06/2017
SIS, a semantics implementation system
26/06/2017
Christopher Strachey, First-Class Citizen
26/06/2017
Probabilistic Programming
26/06/2017
In God we trust