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-05-01 to 2025-05-01.)
ArticleCitations
Game semantics of Martin-Löf type theory10
Bicategories in univalent foundations10
Hom weak ω-categories of a weak ω-category9
Preface: Advances in Homotopy Type Theory9
A construction of free dcpo-cones6
Automatic differentiation for ML-family languages: Correctness via logical relations6
0.042979001998901