@misc{indiciaeaceea37fc0e1,
  title = {Axioms and Decidability for Type Isomorphism in the Presence of Sums},
  author = {Danko Ilik},
  year = {2014},
  doi = {10.1145/2603088.2603115},
  url = {https://arxiv.org/abs/1401.2567},
  note = {Source identifier: 1401.2567}
}