- Nathanael Arkor, Marcelo Fiore,
*Algebraic models of simple type theories: a polynomial approach*, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020) 88-101 [doi:10.1145/3373718.3394771, arXiv:2006.16949[

On formal theory of relative monads via virtual equipments:

- Nathanael Arkor, Dylan McDermott,
*The formal theory of relative monads*[arXiv:2302.14014]

On higher-order algebraic theories:

- Nathanael Arkor, Dylan McDermott,
*Higher-order algebraic theories*(pdf)

category: people

Last revised on September 22, 2023 at 13:57:27. See the history of this page for a list of all contributions to it.