@misc{indiciae1863e0a68971,
  title = {Encoding the Factorisation Calculus},
  author = {Reuben N. S. Rowe},
  year = {2015},
  doi = {10.4204/eptcs.190.6},
  url = {https://arxiv.org/abs/1508.06713},
  note = {Source identifier: 1508.06713}
}