Seguir
Nathanael Arkor
Nathanael Arkor
Tallinn University of Technology
Dirección de correo verificada de taltech.ee - Página principal
Título
Citado por
Citado por
Año
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
152020
Monadic and Higher-Order Structure
N Arkor
University of Cambridge, 2022
102022
The formal theory of relative monads
N Arkor, D McDermott
Journal of Pure and Applied Algebra, 107676, 2024
82024
Relative monadicity
N Arkor, D McDermott
arXiv preprint arXiv:2305.10405, 2023
22023
Abstract clones for abstract syntax
N Arkor, D McDermott
arXiv preprint arXiv:2105.00969, 2021
22021
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–8