Nathan Corbyn

According to our database, Nathan Corbyn authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Frex: Dependently Typed Algebraic Simplification.

Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop

Proc. ACM Program. Lang., 2025

2024

homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories.

Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024