TY  - RPRT
TI  - A Category Theoretic Interpretation of Gandy's Principles for Mechanisms
AU  - Joseph Razavi
AU  - Andrea Schalk
PY  - 2019
DO  - 10.4204/eptcs.293.7
UR  - https://arxiv.org/abs/1904.10109
ID  - 1904.10109
ER  -