OOIR: Observatory of International Research

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-08-01 to 2025-08-01.)

Article	Citations
Preface: Advances in Homotopy Type Theory	14
Automatic differentiation for ML-family languages: Correctness via logical relations	11
An axiomatics and a combinatorial model of creation/annihilation operators	10
Bicategories in univalent foundations	8
A point-free perspective on lax extensions and predicate liftings	6
Hom weak ω-categories of a weak ω-category	6
A construction of free dcpo-cones	5
Principal types as partial involutions	4
Z property for the shuffling calculus	4
Game semantics of Martin-Löf type theory	4
Monoidal weak ω-categories as models of a type theory	4
Implicational Kleene algebra with domain and the substructural logic of partial correctness	4
Substitution Principle and semidirect products	4
Preface – MSCS	4
Learning quantum finite automata with queries	4
Foreword	3
On existence of equilibrium under social coalition structures	3
Groupoidal realizability for intensional type theory	3
Weighted synchronous automata	3
A foundation for synthetic algebraic geometry	3
String diagram rewrite theory II: Rewriting with symmetric monoidal structure	3
Divergences on monads for relational program logics	3
Abstract cyclic proofs	3
Type-based analysis of logarithmic amortised complexity	3
Implicit computation complexity in higher-order programming languages	3

Apartness, sharp elements, and the Scott topology of domains	2
Adding an implication to logics of perfect paradefinite algebras	2
Preface for the special issue in homage to Martin Hofmann Part 1	2
Preface	2
A categorical view of varieties of ordered algebras	2
Proof-relevance in Bishop-style constructive mathematics	2
Visibility and exploitation in social networks	2
Logical characterizations of algebraic circuit classes over integral domains	2
Computational synthetic cohomology theory in homotopy type theory	2
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	2
From type theory to setoids and back	2
The Grothendieck construction in the context of tangent categories	2
On Hofmann–Streicher universes	2
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs	2
Preserving consistency in geometric modeling with graph transformations	2
Univalent categories of modules	2
Finitary monads on the category of posets	2