Skip to content

Adjoint Logic with a 2-Category of Modes.

Daniel R. Licata, Michael Shulman

Year2016
ProceedingsLFCS

Browse the full LFCS paper archive.