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

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

Foreword	3
Logical characterizations of algebraic circuit classes over integral domains	3
A quantitative approach to global state composition	2
Apartness, sharp elements, and the Scott topology of domains	2
Univalent categories of modules	2
On Hofmann–Streicher universes	2
Relative completeness of arithmetical numberings	2
WoLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation	2
Computational synthetic cohomology theory in homotopy type theory	2
The Grothendieck construction in the context of tangent categories	2
Special issue on logic and complexity	1
String diagram rewrite theory III: Confluence with and without Frobenius	1
Discrete Lawvere theories and monads	1
On higher-order communication in ambient calculi	1
Prior’s ideal language	1
Preface to the special issue on metric and differential semantics	1
On function spaces equipped with Isbell topology and Scott topology	1
A topological reading of coinductive predicates in dependent type theory	1
Robustness, Scott continuity, and computability	1
From type theory to setoids and back	1
Limits and colimits in synthetic $\infty$ -categories	1
A short proof of the Frobenius property for generic fibrations	1
Multivariate functorial difference	1
Indexed and fibered structures for partial and total correctness assertions	1
A classification of bisimilarities for general Markov decision processes	1
Coherent Taylor expansion as a bimonad	1
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem	1
An approximation algorithm for the -prize-collecting multicut problem in trees with submodular penalties	1
Two-level type theory and applications	1
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	1
CHAD for expressive total languages	1
Transformation of any Verbrugge model to a bisimilar Veltman model	1
On notions of compactness, object classifiers, and weak Tarski universes	1
Characterizations of $\omega$ -Rudin spaces via sequence convergence	1
The order-K-ification monads	1
A domain-theoretic framework for robustness analysis of neural networks	0
The Kock–Mikkelsen factorisation	0
On planarity of graphs in homotopy type theory	0
Preface to Special Issue: LSFA 2019 and 2020	0
Formalizing two-level type theory with cofibrant exo-nat	0
Wb-sober spaces and the core-coherence of dcpo models	0
Why the Kock-Lawvere axiom holds, and also doesn’t, in the classifier of integral rigs	0
What should a generic object be?	0
A general framework for the semantics of type theory	0
Symmetric monoidal smash products in homotopy type theory	0
A rewriting coherence theorem with applications in homotopy type theory	0
The category of iterative sets in homotopy type theory and univalent foundations	0
Automata and coalgebras in categories of species	0
A (machine-oriented) logic based on pattern matching	0
The complexity of completions in partial combinatory algebra	0

A 2-categorical proof of Frobenius for fibrations defined from a generic point	0
An intuitionistic set-theoretical model of fully dependent CC	0
Universal algebra in UniMath	0
Dilations and information flow axioms in categorical probability	0
Parameterized complexity of weighted team definability	0
Inquisitive split and structural completeness	0
A concrete model for a typed linear algebraic lambda calculus	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
Preface to Special Issue dedicated to LSFA 2021 and LSFA 2022	0
GADTs are not (Even partial) functors	0
A set-theoretic approach to algebraic L-domains	0
The patch topology in univalent foundations	0
Day algebras	0
Normalization in the simply typed -calculus	0
Effectiveness and continuity in intuitionistic quasi-toposes of assemblies	0
Behavioural equivalences for continuous-time Markov processes	0
Synthetic G-jet-structures in modal homotopy type theory	0
Up-to techniques for behavioural metrics via fibrations	0
Introduction to the special issue: Confluence	0
Objective Mackey and Tambara functors via parametrized categories	0
Material dialogues for first-order logic in constructive type theory: extended version	0
Foreword	0
A linear logic framework for multimodal logics	0
New and improved bounds on the contextuality degree of multi-qubit configurations	0
Categories of quantum cpos	0
Complexity of inversion of functions on the reals	0
Rewriting in Gray categories with applications to coherence	0
Computable soft separation axioms	0
Coherent differentiation	0
Countability constraints in order-theoretic approaches to computability	0
Some representations of real numbers using integer sequences	0
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective	0
Non-Hausdorff parallelized manifolds over geometric models of conservative programs	0
Congruence relations on domains	0
The set of maximal points of an $\boldsymbol{\omega}$ -domain need not be a $\boldsymbol{G}_{\boldsymbol{\delta}}$ -set	0
Special issue on homotopy type theory 2019 vol. 2	0
Fixed point logics and definable topological properties	0
Displayed type theory and semi-simplicial types	0
Foreword for the special issue “Differential Structures in Computer Science and Mathematics”	0
Dimension in team semantics	0
Paraconsistent transition structures: compositional principles and a modal logic	0
Not every countable complete distributive lattice is sober	0
Pseudolimits for tangent categories with applications to equivariant algebraic and differential geometry	0
Errata to “Isomorphism theorems between models of mixed choice,” fixes and consequences	0
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability	0
Toward the effective 2-topos	0
Controlling unfolding in type theory	0
Categories for collection monads	0
Semiframes: the algebra of semitopologies and actionable coalitions	0
Smooth and proper maps with respect to a fibration	0
Discrete equational theories	0
Gentzen–Mints–Zucker duality	0
Preface for the special issue in homage to Martin Hofmann Part 2	0
You can only be lucky once: optimal gossip for epistemic goals	0
From differential linear logic to coherent differentiation	0
Witnessing flows in arithmetic	0
The long exact sequence of homotopy n-groups	0
Game characterizations for the number of quantifiers	0
A parametricity-based formalization of semi-simplicial and semi-cubical sets	0
Equational theorem proving for clauses over strings	0
On reduction and normalization in the computational core	0
A dependently-typed calculus of event telicity and culminativity	0
A dual-context sequent calculus for the constructive modal logic S4	0
Bicategorical type theory: semantics and syntax	0
Local Yoneda completions of quasi-metric spaces	0
A linear linear lambda-calculus	0
Special Issue on Theory and Applications of Models of Computation TAMC 2022	0
sL-approximation spaces capture sL-domains	0
Two-layered logics for probabilities and belief functions over Belnap–Dunn logic	0
Monoidal reverse differential categories	0
Approximation Algorithm and FPT Algorithm for Connected-k-Subgraph Cover on Minor-Free Graphs	0
Differentiable causal computations via delayed trace (extended version)	0
Scott topology on Smyth power posets	0
Two-level type theory and applications - ERRATUM	0
Optimal approximate minimization of one-letter weighted finite automata	0
Premonoidal and Kleisli double categories	0
T₀-spaces and the lower topology	0
Detection and diagnosis of deviations in distributed systems of autonomous agents	0