Semantically Separating Nominal Wyvern for Usability and Decidability.

Tue, 01 Jul 2025 01:00:00 +0200

Yu Xiang Zhu, Amos Robinson, Sophia Roshal, Timothy Mou, Julian Mackay, Jonathan Aldrich, Alex Potanin :
Semantically Separating Nominal Wyvern for Usability and Decidability. CoRR abs/2507.03867 (2025)