Concepedia

Kuen-Bang Hou

KH

Statistics

Publications

5

Citations

110

H-Index

5

Active since

2016

Affiliations

Carnegie Mellon University(Current)

Wesleyan University

Stockholm University

Kuen-Bang Hou is an author at Carnegie Mellon University specializing in mathematics, type theory, and theory of computation.

ORCID

Publications per year

2016–2021

5

Publications

5

Cartesian cubical computational type theory: Constructive reasoning with paths and equalities

Carlo Angiuli, Kuen-Bang Hou, Robert Harper · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 32 citations · Full text

, , +10

Syntax and models of Cartesian cubical type theory

Carlo Angiuli, Guillaume Brunerie, Thierry Coquand et al. · Mathematical Structures in Computer Science · 2021 · 28 citations · Full text

, , +15

A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory

Kuen-Bang Hou, Eric Finster, Daniel R. Licata et al. · 2016 · 21 citations

, , +13

Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities

Carlo Angiuli, Kuen-Bang Hou, Robert Harper · arXiv (Cornell University) · 2017 · 18 citations · Full text

, , +10

A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory

Kuen-Bang Hou, Eric Finster, Daniel R. Licata et al. · arXiv (Cornell University) · 2016 · 11 citations · Full text

, , +13

1–5 of 5