nLab Alex Kavvos

Redirected from "G. Alex Kavvos".

Selected writings

personal page

Selected writings

On directed homotopy type theory:

Alex Kavvos, A quantum of direction (2019) [pdf]

On modal type theory:

Daniel Gratzer, G. Alex Kavvos, Andreas Nuyts, Lars Birkedal: Multimodal Dependent Type Theory, Logical Methods in Computer Science 17 3 (2021) lmcs:7713 [arXiv:2011.15021, doi:10.46298/lmcs-17(3:11)2021]

category: people

Last revised on May 12, 2023 at 16:12:13. See the history of this page for a list of all contributions to it.