TY  - RPRT
TI  - Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers
AU  - Dusko Pavlovic
PY  - 2020
DO  - 10.1007/978-3-031-24117-8_27
UR  - https://arxiv.org/abs/2007.10057
ID  - 2007.10057
ER  -