Följ
Joshua Chen
Joshua Chen
University of Nottingham
Verifierad e-postadress på joshchen.io - Startsida
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–5