Modal Type Theory Based on the Intuitionistic Modal Logic $\mathbf{IEL}^{-}$.

Daniel Rogozin

Browse the full LFCS paper archive.