Towards a Formal Model of Algorithms

https://declanthompson.github.io/talk/4yt_2020-05-22/