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