@misc{indiciae234249858a03,
  title = {Semantically Separating Nominal Wyvern for Usability and Decidability},
  author = {Yu Xiang Zhu and Amos Robinson and Sophia Roshal and Timothy Mou and Julian Mackay and Jonathan Aldrich and Alex Potanin},
  year = {2025},
  url = {https://arxiv.org/abs/2507.03867},
  note = {Source identifier: 2507.03867}
}