Mathematical Structures in Computer Science

Papers
(The TQCC of Mathematical Structures in Computer Science is 2. 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-11-01 to 2025-11-01.)
ArticleCitations
An axiomatics and a combinatorial model of creation/annihilation operators13
Preface: Advances in Homotopy Type Theory13
A construction of free dcpo-cones9
A point-free perspective on lax extensions and predicate liftings6
Substitution Principle and semidirect products6
Automatic differentiation for ML-family languages: Correctness via logical relations6
Game semantics of Martin-Löf type theory6
Hom weak ω-categories of a weak ω-category5
Bicategories in univalent foundations5
Monoidal weak ω-categories as models of a type theory4
Learning quantum finite automata with queries4
Z property for the shuffling calculus4
Implicational Kleene algebra with domain and the substructural logic of partial correctness4
Preface – MSCS4
Principal types as partial involutions4
Groupoidal realizability for intensional type theory3
On existence of equilibrium under social coalition structures3
Abstract cyclic proofs3
Logical characterizations of algebraic circuit classes over integral domains3
String diagram rewrite theory II: Rewriting with symmetric monoidal structure3
Implicit computation complexity in higher-order programming languages3
Foreword3
Visibility and exploitation in social networks3
A foundation for synthetic algebraic geometry3
Divergences on monads for relational program logics3
Weighted synchronous automata3
Adding an implication to logics of perfect paradefinite algebras3
Preserving consistency in geometric modeling with graph transformations3
On Hofmann–Streicher universes2
Computational synthetic cohomology theory in homotopy type theory2
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions2
Proof-relevance in Bishop-style constructive mathematics2
Univalent categories of modules2
Limits and colimits in synthetic $\infty$ -categories2
A quantitative approach to global state composition2
Apartness, sharp elements, and the Scott topology of domains2
Weakest preconditions in fibrations2
A categorical view of varieties of ordered algebras2
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs2
The Grothendieck construction in the context of tangent categories2
Preface2
From type theory to setoids and back2
String diagram rewrite theory III: Confluence with and without Frobenius2
0.032982110977173