Kuen-Bang Hou

Identifiers

• name variant Kuen-Bang Hou 0.60 · backfill

Papers (2)

1. Computational Higher Type Theory III: Univalent Universes and Exact Equality cs.LO · 2017 · author #2
2. A Note on the Uniform Kan Condition in Nominal Cubical Sets math.LO · 2015 · author #2

Mentions

• 1501.05691 #2 · backfill · confidence 0.70 Kuen-Bang Hou

Frequent Coauthors

• Robert Harper 2 shared papers
• Carlo Angiuli 1 shared papers