1 paper · 1 filter
Junyoung Jang, Sophia Roshal, Frank Pfenning +1
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where…