@inproceedings{jang-2024-adjoint,
  doi = {10.4230/LIPICS.FSCD.2024.15},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.15},
  author = {Jang, Junyoung and Roshal, Sophia and Pfenning, Frank and Pientka, Brigitte},
  keywords = {Substructural Logic, Type Systems, Functional Programming, Theory of computation → Proof theory, Theory of computation → Linear logic},
  language = {en},
  title = {Adjoint Natural Deduction},
  volume = {299},
  pages = {15:1-15:23},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2024},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)}
}