Modal dependent type theory and dependent right adjoints
Birkedal, Lars ; Clouston, Ranald ; Mannaa, Bassel ; Ejlers Møgelberg, Rasmus ; Pitts, Andrew M. ; Spitters, Bas
Mathematical structures in computer science, 2020-02, Vol.30 (2), p.118-138 [Periódico revisado por pares]Cambridge: Cambridge University Press
Texto completo disponível