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 |