Mathematical Structures in Computer Science

Papers
(The H4-Index of Mathematical Structures in Computer Science is 7. 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 2022-05-01 to 2026-05-01.)
ArticleCitations
Preface: Advances in Homotopy Type Theory15
Automatic differentiation for ML-family languages: Correctness via logical relations10
Substitution Principle and semidirect products10
An axiomatics and a combinatorial model of creation/annihilation operators8
A point-free perspective on lax extensions and predicate liftings8
A construction of free dcpo-cones7
Variable polyadicity without events: a type-theoretic analysis of event semantics7
Game semantics of Martin-Löf type theory7
0.16347408294678