Kuen-Bang Hou (Favonia)

Available identifiers

zbMath Open hou.kuen-bangMaRDI QIDQ4635916

List of research outcomes

Publication	Date of Publication	Type
Cartesian cubical computational type theory: Constructive reasoning with paths and equalities	2022-05-28	Paper
Syntax and models of Cartesian cubical type theory	2022-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5114825	2020-06-26	Paper
A mechanization of the Blakers-Massey connectivity theorem in homotopy type theory	2018-04-23	Paper
Correctness of compiling polymorphism to dynamic typing	2017-10-23	Paper
The Seifert-van Kampen Theorem in Homotopy Type Theory	2017-07-19	Paper
A Note on the Uniform Kan Condition in Nominal Cubical Sets	2015-01-22	Paper

Research outcomes over time

This page was built for person: Kuen-Bang Hou (Favonia)