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
Approximation Algorithm and FPT Algorithm for Connected-k-Subgraph Cover on Minor-Free Graphs	0
On reduction and normalization in the computational core	0
Inquisitive split and structural completeness	0
Day algebras	0
Universal algebra in UniMath	0
Symmetric monoidal smash products in homotopy type theory	0
Displayed type theory and semi-simplicial types	0
Premonoidal and Kleisli double categories	0
Fixed point logics and definable topological properties	0
The patch topology in univalent foundations	0
Categories for collection monads	0
Differentiable causal computations via delayed trace (extended version)	0
Semiframes: the algebra of semitopologies and actionable coalitions	0
Formalizing two-level type theory with cofibrant exo-nat	0
Pseudolimits for tangent categories with applications to equivariant algebraic and differential geometry	0
Smooth and proper maps with respect to a fibration	0

Categories of quantum cpos	0
Optimal approximate minimization of one-letter weighted finite automata	0
Gentzen–Mints–Zucker duality	0
A rewriting coherence theorem with applications in homotopy type theory	0
Objective Mackey and Tambara functors via parametrized categories	0
Toward the effective 2-topos	0
A (machine-oriented) logic based on pattern matching	0
New and improved bounds on the contextuality degree of multi-qubit configurations	0
What should a generic object be?	0
An intuitionistic set-theoretical model of fully dependent CC	0
Preface for the special issue in homage to Martin Hofmann Part 2	0
Wb-sober spaces and the core-coherence of dcpo models	0
Dilations and information flow axioms in categorical probability	0
A dual-context sequent calculus for the constructive modal logic S4	0
Coherent Taylor expansion as a bimonad	0
The category of iterative sets in homotopy type theory and univalent foundations	0
Automata and coalgebras in categories of species	0
Preface to Special Issue dedicated to LSFA 2021 and LSFA 2022	0
Stochastic linearized generalized alternating direction method of multipliers: Expected convergence rates and large deviation properties	0
Paraconsistent transition structures: compositional principles and a modal logic	0
Two-level type theory and applications - ERRATUM	0
Errata to “Isomorphism theorems between models of mixed choice,” fixes and consequences	0
Parameterized complexity of weighted team definability	0
Monoidal reverse differential categories	0
The Kock–Mikkelsen factorisation	0
Two-layered logics for probabilities and belief functions over Belnap–Dunn logic	0
Behavioural equivalences for continuous-time Markov processes	0
Introduction to the special issue: Confluence	0
Dimension in team semantics	0
A domain-theoretic framework for robustness analysis of neural networks	0
T₀-spaces and the lower topology	0
Formal p -category theory and normalization by evaluation in Rocq	0
On planarity of graphs in homotopy type theory	0
Non-Hausdorff parallelized manifolds over geometric models of conservative programs	0
Detection and diagnosis of deviations in distributed systems of autonomous agents	0
Semantic analysis of normalisation by evaluation for typed lambda calculus	0
Computable soft separation axioms	0
Game characterizations for the number of quantifiers	0
Preface to Special Issue: LSFA 2019 and 2020	0
A dependently-typed calculus of event telicity and culminativity	0
A concrete model for a typed linear algebraic lambda calculus	0
Local Yoneda completions of quasi-metric spaces	0
Congruence relations on domains	0
Foreword for the special issue “Differential Structures in Computer Science and Mathematics”	0
Characterizations of $\omega$ -Rudin spaces via sequence convergence	0
Special issue on homotopy type theory 2019 vol. 2	0
Synthetic G-jet-structures in modal homotopy type theory	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
Countability constraints in order-theoretic approaches to computability	0
Not every countable complete distributive lattice is sober	0
A set-theoretic approach to algebraic L-domains	0
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective	0
Scott topology on Smyth power posets	0
You can only be lucky once: optimal gossip for epistemic goals	0
Opetopes as zoom complexes and partial orders	0
A linear logic framework for multimodal logics	0
Effectiveness and continuity in intuitionistic quasi-toposes of assemblies	0
Bicategorical type theory: semantics and syntax	0
From differential linear logic to coherent differentiation	0
Discrete equational theories	0
GADTs are not (Even partial) functors	0
Up-to techniques for behavioural metrics via fibrations	0
Foreword	0
Normalization in the simply typed -calculus	0
Complexity of inversion of functions on the reals	0
The long exact sequence of homotopy n-groups	0
Controlling unfolding in type theory	0
A general framework for the semantics of type theory	0
Equational theorem proving for clauses over strings	0
Coherent differentiation	0
Material dialogues for first-order logic in constructive type theory: extended version	0
A 2-categorical proof of Frobenius for fibrations defined from a generic point	0
Witnessing flows in arithmetic	0
The set of maximal points of an $\boldsymbol{\omega}$ -domain need not be a $\boldsymbol{G}_{\boldsymbol{\delta}}$ -set	0
A linear linear lambda-calculus	0
The complexity of completions in partial combinatory algebra	0
A topological reading of coinductive predicates in dependent type theory	0
sL-approximation spaces capture sL-domains	0
A parametricity-based formalization of semi-simplicial and semi-cubical sets	0