@misc{indiciae4e62ec883e04,
  title = {From Identity to Difference: A Quantitative Interpretation of the Identity Type},
  author = {Paolo Pistone},
  year = {2021},
  url = {https://arxiv.org/abs/2107.06150},
  note = {Source identifier: 2107.06150}
}