Sophia Roshal

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Cut Elimination

Natural Deduction

Datalog Programs

Intuitionistic Logic

Top Venues

SPLASH (Companion)

Publications

Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka
Adjoint Natural Deduction (Extended Version). CoRR (2024)
Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka
Adjoint Natural Deduction. FSCD (2024)
Sophia Roshal
Towards decidable and expressive DOT. SPLASH (Companion) (2021)