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

Article	Citations
Preface: Advances in Homotopy Type Theory	15
Substitution Principle and semidirect products	10
A point-free perspective on lax extensions and predicate liftings	10
Game semantics of Martin-Löf type theory	8
A construction of free dcpo-cones	8
An axiomatics and a combinatorial model of creation/annihilation operators	7
On traces in categories of contractions	7
Automatic differentiation for ML-family languages: Correctness via logical relations	7
Linear logic and the Hilbert scheme	6
Variable polyadicity without events: a type-theoretic analysis of event semantics	6
Principal types as partial involutions	5
On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis	5
Preface – MSCS	5
Z property for the shuffling calculus	4
Implicational Kleene algebra with domain and the substructural logic of partial correctness	4
Strong well-filteredness of upper topology on sup-complete posets	3
Preface to “Rosolini’s Festschrift: effectiveness and continuity in categorical logic”	3
Abstract cyclic proofs	3
A quantitative approach to global state composition	3
Groupoidal realizability for intensional type theory	3
Exponentiable functors between synthetic $\boldsymbol{\infty}$ -categories	3
Weighted synchronous automata	3
A foundation for synthetic algebraic geometry	3
Foreword	3
Divergences on monads for relational program logics	3

Learning quantum finite automata with queries	3
Visibility and exploitation in social networks	3
On Hofmann–Streicher universes	3
Computational synthetic cohomology theory in homotopy type theory	2
WoLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation	2
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	2
Univalent categories of modules	2
Adding an implication to logics of perfect paradefinite algebras	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
Logical characterizations of algebraic circuit classes over integral domains	2
The Grothendieck construction in the context of tangent categories	2
Relative completeness of arithmetical numberings	2
Discrete Lawvere theories and monads	2