Josh Chen · Research Writing

Research Writing

Preprints

2-Coherent Internal Models of Homotopical Type Theory · arXiv

Publications

Homotopy Type Theory in Isabelle · ITP 2021 · DOI, arXiv

Theses

Internal Constructions in Homotopical Type Theory · PhD thesis, 2025 · PDF
An Implementation of Homotopy Type Theory in Isabelle/Pure · Masters thesis, 2018 · arXiv
The Temperley-Lieb categories and skein modules · Bachelor Honours thesis, 2014 · arXiv

Abstracts & Notes

Categories as Semicategories with Identities · TYPES 2023, with Tom de Jong, Nicolai Kraus and Stiéphen Pradal · PDF
Semisimplicial Types in Internal Categories with Families · TYPES 2021, with Nicolai Kraus · PDF
Soft types · Unpublished note, 2019 · PDF

🏠