Kuen-Bang Hou

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 7

Top Topics

Search Based Software Testing

Multiresolution

Theoretical Basis

Topological Properties

Top Venues

Proc. ACM Program. Lang.

Log. Methods Comput. Sci.

Publications

Kuen-Bang Hou, Zhuyang Wang
Logarithm and program testing. Proc. ACM Program. Lang. 6 (POPL) (2022)
Ulrik Buchholtz, Kuen-Bang Hou
Cellular Cohomology in Homotopy Type Theory. Log. Methods Comput. Sci. 16 (2) (2020)
Ulrik Buchholtz, Kuen-Bang Hou
Cellular Cohomology in Homotopy Type Theory. CoRR (2018)
Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou, Robert Harper, Jonathan Sterling
The RedPRL Proof Assistant (Invited Paper). LFMTP@FSCD (2018)
Carlo Angiuli, Kuen-Bang Hou, Robert Harper
Computational Higher Type Theory III: Univalent Universes and Exact Equality. CoRR (2017)
Kuen-Bang Hou, Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine
A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory. CoRR (2016)
Robert Harper, Kuen-Bang Hou
A Note on the Uniform Kan Condition in Nominal Cubical Sets. CoRR (2015)