Constant AdjointLogic

pub const AdjointLogic: ();

Reference: Adjoint logic with a 2-category of modes.

Daniel R. Licata & Michael Shulman, 2015: Adjoint logic with a 2-category of modes.

• DOI:10.1007/978-3-319-27683-0_16
• preprint