Projects per year
Fingerprint
The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
1/15/21 → 1/14/23
Project: Research project
-
DO NOT USE - Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
University of California at San Diego
1/15/21 → 1/16/21
Project: Research project
-
Cellular cohomology in homotopy type theory
Buchholtz, U. & Hou, K. B., 2020, In: Logical Methods in Computer Science. 16, 2, p. 1-21 21 p., 7.Research output: Contribution to journal › Article › peer-review
-
Cartesian cubical computational type theory: Constructive reasoning with paths and equalities
Angiuli, C., Hou, K. B. & Harper, R., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
12 Scopus citations -
Cellular cohomology in homotopy type theory
Buchholtz, U. & Favonia, K. B. H., Jul 9 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., p. 521-529 9 p. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Covering spaces in homotopy type theory
Favonia, K. B. H. & Harper, R., Oct 1 2018, 22nd International Conference on Types for Proofs and Programs, TYPES 2016. Geuvers, H., Ivetic, J. & Ghilezan, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 97).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
The RedPRL proof assistant (invited paper)
Angiuli, C., Cavallo, E., Favonia, K. B. H., Harper, R. & Sterling, J., Jul 3 2018, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 274, p. 1-10 10 p.Research output: Contribution to journal › Conference article › peer-review
Open Access4 Scopus citations