Research output per year
Research output per year
Fingerprint
Dive into the research topics where Alex Rice is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A syntax for strictly associative and unital ∞-categories
Finster, E., Rice, A. & Vicary, J., 8 Jul 2024, LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, p. 1-13 13 p. 34. (Proceedings of the ACM/IEEE Annual Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
A type-theoretic approach to semistrict higher categories
Rice, A., 18 Apr 2024, (Submitted) 211 p.Research output: Thesis › Doctoral Thesis
-
Enumerating independent linear inferences
Das, A. & Rice, A., 19 May 2023, In: Logical Methods in Computer Science. 19, 2, p. 1-37 37 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A type theory for strictly unital infinity ∞-categories
Finster, E., Reutter, D., Rice, A. & Vicary, J., 4 Aug 2022, LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Baier, C. (ed.). New York, NY, USA: ACM, p. 1-12 12 p. 48. (Proceedings of the ACM/IEEE Annual Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
A type theory for strictly associative infinity categories
Finster, E., Rice, A. & Vicary, J., 3 Sept 2021, ArXiv.Research output: Working paper › Preprint
File