Formal Characterisations of Algorithm

https://declanthompson.github.io/talk/ihpst_20-02-27/