| 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 | 16 | 2020 |
| Monadic and Higher-Order Structure N Arkor University of Cambridge, 2022 | 12 | 2022 |
| The formal theory of relative monads N Arkor, D McDermott Journal of Pure and Applied Algebra 228 (9), 107676, 2024 | 9 | 2024 |
| Abstract clones for abstract syntax N Arkor, D McDermott arXiv preprint arXiv:2105.00969, 2021 | 3 | 2021 |
| Relative monadicity N Arkor, D McDermott arXiv preprint arXiv:2305.10405, 2023 | 2 | 2023 |
| Higher-order algebraic theories N Arkor, D McDermott | 2* | |
| Adjoint functor theorems for lax-idempotent pseudomonads N Arkor, I Di Liberti, F Loregian arXiv preprint arXiv:2306.10389, 2023 | 1 | 2023 |
| Algebraic models of simple type theories N Arkor, M Fiore Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 1 | 2020 |
| The pullback theorem for relative monads N Arkor, D McDermott arXiv preprint arXiv:2404.01281, 2024 | | 2024 |
Dylan McDermottReykjavik University在 ru.is 的电子邮件经过验证
