Kuen-Bang Hou

8 papers and 30 indexed citations i.

Kuen-Bang Hou has authored 8 papers that have received a total of 30 indexed citations. This includes 6 papers in Artificial Intelligence, 5 papers in Mathematical Physics and 3 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (5 papers), Homotopy and Cohomology in Algebraic Topology (5 papers) and Logic, Reasoning, and Knowledge (2 papers). Kuen-Bang Hou is often cited by papers focused on Logic, programming, and type systems (5 papers), Homotopy and Cohomology in Algebraic Topology (5 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in United States, Sweden and France. Kuen-Bang Hou's co-authors include Robert Harper, Daniel R. Licata, Carlo Angiuli, Guillaume Brunerie and Eric Finster and has published in prestigious journals such as Journal of Functional Programming, Mathematical Structures in Computer Science and Proceedings of the ACM on Programming Languages