Mendler, MichaelMichaelMendlerFairtlough, MattMattFairtloughMoggi, EugenioEugenioMoggi2019-09-192014-09-242001https://fis.uni-bamberg.de/handle/uniba/10075deuSpecial Issue: Modalities in Type Theoryarticle10.1017/S0960129501003310https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/special-issue-modalities-in-type-theory/26D0E7C329BA71114EB41C3E52722BA7