nLab Andreas Nuyts

Redirected from "k-morphisms".

Selected writings

Selected writings

Andreas Nuyts, Understanding Universal Algebra Using Kleisli-Eilenberg-Moore-Lawvere Diagrams, (2022) [pdf]

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:26. See the history of this page for a list of all contributions to it.