Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Algebra of Programming

This podcast series consists of occasional lectures and seminars on the mathematics of program construction - the use of clear, precise mathematical techniques in the development of programs and in proving them correct. In particular, there is a focus on equational reasoning directly with the program text, as opposed to indirect arguments involving a separate formalism such as predicate calculus. For more information, see the webpage of the Algebra of Programming Research Group in the Department of Computer Science at Oxford:


# Episode Title Description People Date
1 A Problem for Lambert Lecture at 65th Birthday Symposium for Lambert Meertens, 22nd January 2010 Richard Bird 24 Feb 2020
2 An Introduction to the Theory of Lists Lectures at Utrecht University, 16th and 17th December 1986. Richard Bird 24 Feb 2020