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 2022-01-01 to 2026-01-01.)

Article	Citations
Preface: Advances in Homotopy Type Theory	13
Automatic differentiation for ML-family languages: Correctness via logical relations	13
A point-free perspective on lax extensions and predicate liftings	9
A construction of free dcpo-cones	7
An axiomatics and a combinatorial model of creation/annihilation operators	7
Preface – MSCS	6
Game semantics of Martin-Löf type theory	6
Hom weak ω-categories of a weak ω-category	6
Principal types as partial involutions	6
Substitution Principle and semidirect products	6
Implicational Kleene algebra with domain and the substructural logic of partial correctness	5
Monoidal weak ω-categories as models of a type theory	5
Z property for the shuffling calculus	5
Groupoidal realizability for intensional type theory	4
Learning quantum finite automata with queries	4
Weighted synchronous automata	4
Exponentiable functors between synthetic $\boldsymbol{\infty}$ -categories	4
Implicit computation complexity in higher-order programming languages	4
Divergences on monads for relational program logics	4
On existence of equilibrium under social coalition structures	3
Logical characterizations of algebraic circuit classes over integral domains	3
Preserving consistency in geometric modeling with graph transformations	3
Abstract cyclic proofs	3
Foreword	3
A foundation for synthetic algebraic geometry	3

String diagram rewrite theory II: Rewriting with symmetric monoidal structure	3
Visibility and exploitation in social networks	3
Adding an implication to logics of perfect paradefinite algebras	3
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs	2
Computational synthetic cohomology theory in homotopy type theory	2
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	2
Proof-relevance in Bishop-style constructive mathematics	2
Univalent categories of modules	2
WoLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation	2
A quantitative approach to global state composition	2
Apartness, sharp elements, and the Scott topology of domains	2
Limits and colimits in synthetic $\infty$ -categories	2
From type theory to setoids and back	2
On Hofmann–Streicher universes	2
The Grothendieck construction in the context of tangent categories	2
Preface	2
A categorical view of varieties of ordered algebras	2
Weakest preconditions in fibrations	2