Nick Hu

Identifiers

• name variant Nick Hu 0.60 · backfill

Papers (2)

1. Categorical E-Graphs for Lambda Calculi cs.LO · 2025 · author #3
2. Codensity Games for Bisimilarity cs.LO · 2019 · author #3

Mentions

• 2505.00807 #3 · arxiv_oai · confidence 0.70 Nick Hu

Frequent Coauthors

• Aleksei Tiurin 1 shared papers
• Bartek Klin 1 shared papers
• Dan R. Ghica 1 shared papers
• Ichiro Hasuo 1 shared papers
• Shin-ya Katsumata 1 shared papers
• Yuichi Komorida 1 shared papers