Towards decidable and expressive DOT. - Sophia Roshal (SPLASH (Companion), 2021)

Adjoint Natural Deduction. - Junyoung Jang 001; Sophia Roshal; Frank Pfenning; Brigitte Pientka (FSCD, 2024)

Adjoint Natural Deduction (Extended Version). - Junyoung Jang 001; Sophia Roshal; Frank Pfenning; Brigitte Pientka (CoRR, 2024)

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