@misc{indiciae32729779e43a,
  title = {Logic as a distributive law},
  author = {Mike Stay and Lucius Gregory Meredith},
  year = {2016},
  url = {https://arxiv.org/abs/1610.02247},
  note = {Source identifier: 1610.02247}
}