Mendler, MichaelMichaelMendler2019-09-192014-09-2420010960-1295https://fis.uni-bamberg.de/handle/uniba/9780deuModalities in type theoryarticle