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

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

Logical characterizations of algebraic circuit classes over integral domains	2
On Hofmann–Streicher universes	2
Adding an implication to logics of perfect paradefinite algebras	2
A foundation for synthetic algebraic geometry	2
Visibility and exploitation in social networks	2
Preserving consistency in geometric modeling with graph transformations	2
Preface for the special issue in homage to Martin Hofmann Part 1	2
Groupoidal realizability for intensional type theory	2
String diagram rewrite theory III: Confluence with and without Frobenius	1
Martin Hofmann’s contributions to type theory: Groupoids and univalence	1
Finitary monads on the category of posets	1
Preface	1
Robustness, Scott continuity, and computability	1
On Petrie cycle and Petrie tour partitions of 3- and 4-regular plane graphs	1
Prior’s ideal language	1
Two-stage submodular maximization problem beyond nonnegative and monotone	1
CHAD for expressive total languages	1
On higher-order communication in ambient calculi	1
Weakest preconditions in fibrations	1
Hofmann-Mislove type definitions of non-Hausdorff spaces	1
From type theory to setoids and back	1
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	1
Two-level type theory and applications	1
Preface to the special issue on metric and differential semantics	1
A classification of bisimilarities for general Markov decision processes	1
Bisimulation as a logical relation	1
Special issue on logic and complexity	1
The order-K-ification monads	1
Monotone recursive types and recursive data representations in Cedille	1
An approximation algorithm for the -prize-collecting multicut problem in trees with submodular penalties	1
Proof-relevance in Bishop-style constructive mathematics	1
Univalent categories of modules	1
A categorical view of varieties of ordered algebras	1
An interpretation of dependent type theory in a model category of locally cartesian closed categories	1
On function spaces equipped with Isbell topology and Scott topology	1
Indexed and fibered structures for partial and total correctness assertions	1
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem	1
The geometry of Bayesian programming	1