Adjoint Natural Deduction.

Junyoung Jang, Sophia Roshal, Frank Pfenning, Brigitte Pientka

Browse the full FSCD paper archive.