Loading...
The system can't perform the operation now. Try again later.
Citations per year
Duplicate citations
The following articles are merged in Scholar. Their
combined citations
are counted only for the first article.
Merged citations
This "Cited by" count includes citations to the following articles in Scholar. The ones marked
*
may be different from the article in the profile.
Add co-authors
Co-authors
Follow
New articles by this author
New citations to this author
New articles related to this author's research
Email address for updates
Done
My profile
My library
Metrics
Alerts
Settings
Sign in
Sign in
Get my own profile
Cited by
All
Since 2018
Citations
12
10
h-index
1
1
i10-index
1
1
0
4
2
2017
2018
2019
2020
2021
2022
2023
1
1
1
2
4
2
Co-authors
Nicolai Kraus
University of Nottingham
Verified email at nottingham.ac.uk
Follow
Joshua Chen
University of Nottingham
Verified email at joshchen.io -
Homepage
Homotopy type theory
Higher category theory
Category theory
Mathematical logic
Articles
Cited by
Co-authors
Title
Sort
Sort by citations
Sort by year
Sort by title
Cited by
Cited by
Year
The Temperley-Lieb categories and skein modules
J Chen
arXiv preprint arXiv:1502.06845
, 2014
12
2014
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
Show more
Privacy
Terms
Help
About Scholar
Search help
Nicolai KrausUniversity of NottinghamVerified email at nottingham.ac.uk
Nicolai KrausUniversity of NottinghamVerified email at nottingham.ac.uk