TY  - RPRT
TI  - Adjoint Natural Deduction (Extended Version)
AU  - Junyoung Jang
AU  - Sophia Roshal
AU  - Frank Pfenning
AU  - Brigitte Pientka
PY  - 2024
UR  - https://arxiv.org/abs/2402.01428
ID  - 2402.01428
ER  -