OOIR: Observatory of International Research

Papers

(The TQCC of Mathematical Structures in Computer Science is 1. 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-06-01 to 2026-06-01.)

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

Abstract cyclic proofs	3
Adding an implication to logics of perfect paradefinite algebras	2
Computational synthetic cohomology theory in homotopy type theory	2
Relative completeness of arithmetical numberings	2
A quantitative approach to global state composition	2
The Grothendieck construction in the context of tangent categories	2
Univalent categories of modules	2
Logical characterizations of algebraic circuit classes over integral domains	2
On Hofmann–Streicher universes	2
WoLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation	2
Apartness, sharp elements, and the Scott topology of domains	2
Robustness, Scott continuity, and computability	1
Two-level type theory and applications	1
Limits and colimits in synthetic $\infty$ -categories	1
An approximation algorithm for the -prize-collecting multicut problem in trees with submodular penalties	1
CHAD for expressive total languages	1
Preface to the special issue on metric and differential semantics	1
On notions of compactness, object classifiers, and weak Tarski universes	1
Multivariate functorial difference	1
String diagram rewrite theory III: Confluence with and without Frobenius	1
From type theory to setoids and back	1
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	1
On higher-order communication in ambient calculi	1
The order-K-ification monads	1
Mathematical structures in natural language semantics: Zawadowski’s contribution to linguistics	1
On function spaces equipped with Isbell topology and Scott topology	1
Special issue on logic and complexity	1
A short proof of the Frobenius property for generic fibrations	1
Discrete Lawvere theories and monads	1
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem	1
Indexed and fibered structures for partial and total correctness assertions	1
Transformation of any Verbrugge model to a bisimilar Veltman model	1
Prior’s ideal language	1
A classification of bisimilarities for general Markov decision processes	1