OOIR: Observatory of International Research

Papers

(The median citation count of Mathematical Structures in Computer Science is 0. 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 point-free perspective on lax extensions and predicate liftings	8
A construction of free dcpo-cones	8
An axiomatics and a combinatorial model of creation/annihilation operators	7
Game semantics of Martin-Löf type theory	7
Linear logic and the Hilbert scheme	6
On traces in categories of contractions	6
Variable polyadicity without events: a type-theoretic analysis of event semantics	6
Preface – MSCS	6
On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis	5
Principal types as partial involutions	4
Z property for the shuffling calculus	4
Monoidal weak ω-categories as models of a type theory	4
Divergences on monads for relational program logics	3
Groupoidal realizability for intensional type theory	3
Abstract cyclic proofs	3
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
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
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
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
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
Formalizing two-level type theory with cofibrant exo-nat	0
Smooth and proper maps with respect to a fibration	0
On reduction and normalization in the computational core	0
Gentzen–Mints–Zucker duality	0
Symmetric monoidal smash products in homotopy type theory	0
Categories of quantum cpos	0
Objective Mackey and Tambara functors via parametrized categories	0
Fixed point logics and definable topological properties	0
A rewriting coherence theorem with applications in homotopy type theory	0
New and improved bounds on the contextuality degree of multi-qubit configurations	0
Differentiable causal computations via delayed trace (extended version)	0
A (machine-oriented) logic based on pattern matching	0
An intuitionistic set-theoretical model of fully dependent CC	0
Pseudolimits for tangent categories with applications to equivariant algebraic and differential geometry	0
What should a generic object be?	0
Dilations and information flow axioms in categorical probability	0

Optimal approximate minimization of one-letter weighted finite automata	0
Wb-sober spaces and the core-coherence of dcpo models	0
Coherent Taylor expansion as a bimonad	0
The category of iterative sets in homotopy type theory and univalent foundations	0
Paraconsistent transition structures: compositional principles and a modal logic	0
Toward the effective 2-topos	0
Preface to Special Issue dedicated to LSFA 2021 and LSFA 2022	0
Errata to “Isomorphism theorems between models of mixed choice,” fixes and consequences	0
Monoidal reverse differential categories	0
Preface for the special issue in homage to Martin Hofmann Part 2	0
Two-level type theory and applications - ERRATUM	0
The Kock–Mikkelsen factorisation	0
Behavioural equivalences for continuous-time Markov processes	0
A dual-context sequent calculus for the constructive modal logic S4	0
Introduction to the special issue: Confluence	0
A domain-theoretic framework for robustness analysis of neural networks	0
Automata and coalgebras in categories of species	0
T₀-spaces and the lower topology	0
On planarity of graphs in homotopy type theory	0
Stochastic linearized generalized alternating direction method of multipliers: Expected convergence rates and large deviation properties	0
Semantic analysis of normalisation by evaluation for typed lambda calculus	0
Parameterized complexity of weighted team definability	0
Non-Hausdorff parallelized manifolds over geometric models of conservative programs	0
Game characterizations for the number of quantifiers	0
Two-layered logics for probabilities and belief functions over Belnap–Dunn logic	0
Computable soft separation axioms	0
A concrete model for a typed linear algebraic lambda calculus	0
Dimension in team semantics	0
A dependently-typed calculus of event telicity and culminativity	0
Congruence relations on domains	0
Formal p -category theory and normalization by evaluation in Rocq	0
Local Yoneda completions of quasi-metric spaces	0
Detection and diagnosis of deviations in distributed systems of autonomous agents	0
Characterizations of $\omega$ -Rudin spaces via sequence convergence	0
Special issue on homotopy type theory 2019 vol. 2	0
Special Issue on Theory and Applications of Models of Computation TAMC 2022	0
Why the Kock-Lawvere axiom holds, and also doesn’t, in the classifier of integral rigs	0
A set-theoretic approach to algebraic L-domains	0
Scott topology on Smyth power posets	0
Preface to Special Issue: LSFA 2019 and 2020	0
Not every countable complete distributive lattice is sober	0
You can only be lucky once: optimal gossip for epistemic goals	0
A linear logic framework for multimodal logics	0
Foreword for the special issue “Differential Structures in Computer Science and Mathematics”	0
Effectiveness and continuity in intuitionistic quasi-toposes of assemblies	0
From differential linear logic to coherent differentiation	0
Synthetic G-jet-structures in modal homotopy type theory	0
Discrete equational theories	0
Up-to techniques for behavioural metrics via fibrations	0
Countability constraints in order-theoretic approaches to computability	0
Foreword	0
Complexity of inversion of functions on the reals	0
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective	0
A general framework for the semantics of type theory	0
Opetopes as zoom complexes and partial orders	0
The long exact sequence of homotopy n-groups	0
Coherent differentiation	0
Bicategorical type theory: semantics and syntax	0
Equational theorem proving for clauses over strings	0
Witnessing flows in arithmetic	0
GADTs are not (Even partial) functors	0
A 2-categorical proof of Frobenius for fibrations defined from a generic point	0
A linear linear lambda-calculus	0
Normalization in the simply typed -calculus	0
The set of maximal points of an $\boldsymbol{\omega}$ -domain need not be a $\boldsymbol{G}_{\boldsymbol{\delta}}$ -set	0
Controlling unfolding in type theory	0
A topological reading of coinductive predicates in dependent type theory	0
sL-approximation spaces capture sL-domains	0
Inquisitive split and structural completeness	0
Approximation Algorithm and FPT Algorithm for Connected-k-Subgraph Cover on Minor-Free Graphs	0
Universal algebra in UniMath	0
Displayed type theory and semi-simplicial types	0
Material dialogues for first-order logic in constructive type theory: extended version	0
Day algebras	0
Premonoidal and Kleisli double categories	0
The patch topology in univalent foundations	0
The complexity of completions in partial combinatory algebra	0
Categories for collection monads	0
Semiframes: the algebra of semitopologies and actionable coalitions	0
A parametricity-based formalization of semi-simplicial and semi-cubical sets	0