Follow
Joshua Chen
Joshua Chen
University of Nottingham
Verified email at joshchen.io - Homepage
Title
Cited by
Cited by
Year
The Temperley-Lieb categories and skein modules
J Chen
arXiv preprint arXiv:1502.06845, 2014
122014
Homotopy Type Theory in Isabelle
J Chen
12th International Conference on Interactive Theorem Proving (ITP 2021) 193 …, 2021
2021
Semisimplicial Types in Internal Categories with Families
J Chen, N Kraus
TYPES '21 workshop, https://types21.liacs.nl/download/semisimplicial-types …, 2021
2021
An Implementation of Homotopy Type Theory in Isabelle/Pure
J Chen
arXiv preprint arXiv:1911.00399, 2019
2019
Categories as Semicategories with Identities
J Chen, T de Jong, N Kraus, S Pradal
29th International Conference on Types for Proofs and Programs TYPES 2023 …, 0
The system can't perform the operation now. Try again later.
Articles 1–5