@misc{indiciaef1e7aa9b6233,
  title = {A Category Theoretic Interpretation of Gandy's Principles for Mechanisms},
  author = {Joseph Razavi and Andrea Schalk},
  year = {2019},
  doi = {10.4204/eptcs.293.7},
  url = {https://arxiv.org/abs/1904.10109},
  note = {Source identifier: 1904.10109}
}