Kuen-Bang Hou (Favonia)

According to our database, Kuen-Bang Hou (Favonia) authored at least 13 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Order-Theoretic Analysis of Universe Polymorphism.

Kuen-Bang Hou (Favonia), Carlo Angiuli, Reed Mullanix

Proc. ACM Program. Lang., January, 2023

2022

Logarithm and program testing.

Kuen-Bang Hou (Favonia), Zhuyang Wang

Proc. ACM Program. Lang., 2022

2021

Syntax and models of Cartesian cubical type theory.

Carlo Angiuli, Guillaume Brunerie, Thierry Coquand, Robert Harper, Kuen-Bang Hou (Favonia), Daniel R. Licata

Math. Struct. Comput. Sci., 2021

2020

Cellular Cohomology in Homotopy Type Theory.

Ulrik Buchholtz, Kuen-Bang Hou (Favonia)

Log. Methods Comput. Sci., 2020

2018

The RedPRL Proof Assistant (Invited Paper).

Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper, Jonathan Sterling

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018

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

Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Higher-Dimensional Types in the Mechanization of Homotopy Theory.

Kuen-Bang Hou (Favonia)

PhD thesis, 2017

Correctness of compiling polymorphism to dynamic typing.

Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper

J. Funct. Program., 2017

Computational Higher Type Theory III: Univalent Universes and Exact Equality.

Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper

CoRR, 2017

2016

Covering Spaces in Homotopy Type Theory.

Kuen-Bang Hou (Favonia), Robert Harper

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

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

Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

The Seifert-van Kampen Theorem in Homotopy Type Theory.

Kuen-Bang Hou (Favonia), Michael Shulman

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015

A Note on the Uniform Kan Condition in Nominal Cubical Sets.

Robert Harper, Kuen-Bang Hou (Favonia)

CoRR, 2015