Nathan Haydon

According to our database, Nathan Haydon authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

Diagrammatic Algebra of First Order Logic.

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2021

Residuation in Existential Graphs.

Nathan Haydon, Ahti-Veikko Pietarinen

Proceedings of the Diagrammatic Representation and Inference, 2021

2020

The Blot.

Ahti-Veikko Pietarinen, Francesco Bellucci, Angelina Bobrova, Nathan Haydon, Mohammad Shafiei

Proceedings of the Diagrammatic Representation and Inference, 2020

Compositional Diagrammatic First-Order Logic.

Nathan Haydon, Pawel Sobocinski

Proceedings of the Diagrammatic Representation and Inference, 2020