jang-2024-adjoint:
  type: article
  title: Adjoint Natural Deduction
  author:
  - Jang, Junyoung
  - Roshal, Sophia
  - Pfenning, Frank
  - Pientka, Brigitte
  date: 2024
  page-range: 15:1-15:23
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.15
  serial-number:
    doi: 10.4230/LIPICS.FSCD.2024.15
  parent:
    type: proceedings
    title: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 299