Computable Execution Traces

https://declanthompson.github.io/publication/thompson-computable-2021/