Ryan Nichols on An Axiomatic Basis for Computer Programming

From a channel Lumen includes in full: Papers We Love chapters worldwide record practitioners presenting a classic or influential computer-science paper — Dynamo, Raft, Dapper, CSP, stable fluids — explaining it in depth and taking questions; a primary-source tour of CS research.

A 50-minute video from PapersWeLove's catalogue; the title names its topic.

Video by PapersWeLove, played through YouTube's embedded player.