An Introduction to the Theory of Lists

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...