nLab Andreas Nuyts

• personal page

Selected writings

On universal algebra:

• Andreas Nuyts, Understanding Universal Algebra Using Kleisli-Eilenberg-Moore-Lawvere Diagrams, (2022) [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