@misc{indiciaec8bb0013862c,
  title = {Study of the Subtyping Machine of Nominal Subtyping with Variance (full version)},
  author = {Ori Roth},
  year = {2021},
  doi = {10.1145/3485514},
  url = {https://arxiv.org/abs/2109.03950},
  note = {Source identifier: 2109.03950}
}