Scholar
Kuen-Bang Hou (Favonia)
Google Scholar ID: Tqfb4FYAAAAJ
University of Minnesota, Twin Cities
Programming Language Theory
Type Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
385
H-index
10
i10-index
10
Publications
20
Co-authors
10
list available
Publications
2 items
Technical Report: A Formal Semantics for Java Symbolic Evaluation using Large-Block Encoding
2026
Cited
0
Coslice Colimits in Homotopy Type Theory
arXiv.org · 2024
Cited
0
Co-authors
5 total
Carlo Angiuli
Assistant Professor, Indiana University
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Ulrik Buchholtz
University of Nottingham
Peter LeFanu Lumsdaine
Assistant professor, Dept. of Mathematics, Stockholm University
Jonathan Sterling
Associate Professor, University of Cambridge
