Nachiappan Valliappan, Fabian Ruch, and Carlos Tomé Cortiñas
Category: Modal type theory
Daniel Gratzer
Daniel Gratzer, Evan Cavallo, G.A. Kavvos, Adrien Guatto, Lars Birkedal
Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, and Andrea Vezzosi