A Cointuitionistic Adjoint Logic

Harley Eades, Gianluigi Bellin

One leading question with respect to Bi-intuitionistic logic (BINT) is, what does BINT look like across the three arcs -- logic, typed $\lambda$-calculi, and category theory -- of the Cu…