Nathanael Arkor

According to our database, Nathanael Arkor authored at least 2 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Abstract Clones for Abstract Syntax.

Nathanael Arkor, Dylan McDermott

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Algebraic models of simple type theories: A polynomial approach.

Nathanael Arkor, Marcelo Fiore

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020