Relevant Links
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:
Subscribe:
| # | Episode Title | Description | People | Date | |
|---|---|---|---|---|---|
| 2 | A Problem for Lambert | Lecture at 65th Birthday Symposium for Lambert Meertens, 22nd January 2010 | Richard Bird | 24 Feb 2020 | |
| 1 | An Introduction to the Theory of Lists | Lectures at Utrecht University, 16th and 17th December 1986. | Richard Bird | 24 Feb 2020 |