Computable Execution Traces & Algorithms

https://declanthompson.github.io/talk/logicseminar_2021-05-21/