| Algebraic models of simple type theories: a polynomial approach N Arkor, M Fiore Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 15 | 2020 |
| Monadic and Higher-Order Structure N Arkor University of Cambridge, 2022 | 10 | 2022 |
| The formal theory of relative monads N Arkor, D McDermott Journal of Pure and Applied Algebra, 107676, 2024 | 8 | 2024 |
| Relative monadicity N Arkor, D McDermott arXiv preprint arXiv:2305.10405, 2023 | 2 | 2023 |
| Abstract clones for abstract syntax N Arkor, D McDermott arXiv preprint arXiv:2105.00969, 2021 | 2 | 2021 |
| Higher-order algebraic theories N Arkor, D McDermott | 2* | |
| The pullback theorem for relative monads N Arkor, D McDermott arXiv preprint arXiv:2404.01281, 2024 | | 2024 |
| Adjoint functor theorems for lax-idempotent pseudomonads N Arkor, I Di Liberti, F Loregian arXiv preprint arXiv:2306.10389, 2023 | | 2023 |
Dylan McDermottReykjavik UniversityVerified email at ru.is
