Mathematical Structures in Computer Science

Papers
(The H4-Index of Mathematical Structures in Computer Science is 6. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-04-01 to 2025-04-01.)
ArticleCitations
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations – Part II10
On notions of compactness, object classifiers, and weak Tarski universes10
Hom weak ω-categories of a weak ω-category9
Preface for the special issue in homage to Martin Hofmann Part 26
Optimal approximate minimization of one-letter weighted finite automata6
Syntax and models of Cartesian cubical type theory6
0.047786951065063