Nick Hu

Orcid: 0000-0002-4783-9757

According to our database¹, Nick Hu authored at least 4 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

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

[BibT_eX]

[DOI]

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

2022

Codensity Games for Bisimilarity.

[BibT_eX]

[DOI]

New Gener. Comput., 2022

2021

Traced Monoidal Categories as Algebraic Structures in Prof.

[BibT_eX]

[DOI]

Nick Hu

Jamie Vicary

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

2019

Codensity Games for Bisimilarity.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Nick Hu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...