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
Substitution Principle and semidirect products	10
Automatic differentiation for ML-family languages: Correctness via logical relations	10
An axiomatics and a combinatorial model of creation/annihilation operators	8
A point-free perspective on lax extensions and predicate liftings	8
Variable polyadicity without events: a type-theoretic analysis of event semantics	7
Game semantics of Martin-Löf type theory	7
A construction of free dcpo-cones	7
On traces in categories of contractions	6
Linear logic and the Hilbert scheme	6
Preface – MSCS	6
Principal types as partial involutions	5
On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis	5
Implicational Kleene algebra with domain and the substructural logic of partial correctness	4
Z property for the shuffling calculus	4
Monoidal weak ω-categories as models of a type theory	4
Exponentiable functors between synthetic $\boldsymbol{\infty}$ -categories	3
Foreword	3
Logical characterizations of algebraic circuit classes over integral domains	3
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
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
A quantitative approach to global state composition	2
Apartness, sharp elements, and the Scott topology of domains	2
Univalent categories of modules	2
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
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
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective	0
Effectiveness and continuity in intuitionistic quasi-toposes of assemblies	0
Behavioural equivalences for continuous-time Markov processes	0
Introduction to the special issue: Confluence	0
Up-to techniques for behavioural metrics via fibrations	0
Fixed point logics and definable topological properties	0
Foreword	0
Objective Mackey and Tambara functors via parametrized categories	0
Dimension in team semantics	0
Categories of quantum cpos	0
A linear logic framework for multimodal logics	0
Pseudolimits for tangent categories with applications to equivariant algebraic and differential geometry	0
Computable soft separation axioms	0
Complexity of inversion of functions on the reals	0
Controlling unfolding in type theory	0

Some representations of real numbers using integer sequences	0
Coherent differentiation	0
Non-Hausdorff parallelized manifolds over geometric models of conservative programs	0
Congruence relations on domains	0
Special issue on homotopy type theory 2019 vol. 2	0
Preface for the special issue in homage to Martin Hofmann Part 2	0
The set of maximal points of an $\boldsymbol{\omega}$ -domain need not be a $\boldsymbol{G}_{\boldsymbol{\delta}}$ -set	0
Foreword for the special issue “Differential Structures in Computer Science and Mathematics”	0
Witnessing flows in arithmetic	0
Displayed type theory and semi-simplicial types	0
Not every countable complete distributive lattice is sober	0
A parametricity-based formalization of semi-simplicial and semi-cubical sets	0
Paraconsistent transition structures: compositional principles and a modal logic	0
Toward the effective 2-topos	0
On reduction and normalization in the computational core	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
Bicategorical type theory: semantics and syntax	0
Categories for collection monads	0
Semiframes: the algebra of semitopologies and actionable coalitions	0
Discrete equational theories	0
Smooth and proper maps with respect to a fibration	0
Two-layered logics for probabilities and belief functions over Belnap–Dunn logic	0
You can only be lucky once: optimal gossip for epistemic goals	0
Gentzen–Mints–Zucker duality	0
Differentiable causal computations via delayed trace (extended version)	0
The long exact sequence of homotopy n-groups	0
From differential linear logic to coherent differentiation	0
Optimal approximate minimization of one-letter weighted finite automata	0
Equational theorem proving for clauses over strings	0
Game characterizations for the number of quantifiers	0
Detection and diagnosis of deviations in distributed systems of autonomous agents	0
A dependently-typed calculus of event telicity and culminativity	0
A dual-context sequent calculus for the constructive modal logic S4	0
Local Yoneda completions of quasi-metric spaces	0
A linear linear lambda-calculus	0
Preface to Special Issue: LSFA 2019 and 2020	0
sL-approximation spaces capture sL-domains	0
Why the Kock-Lawvere axiom holds, and also doesn’t, in the classifier of integral rigs	0
Special Issue on Theory and Applications of Models of Computation TAMC 2022	0
Approximation Algorithm and FPT Algorithm for Connected-k-Subgraph Cover on Minor-Free Graphs	0
Symmetric monoidal smash products in homotopy type theory	0
Monoidal reverse differential categories	0
Two-level type theory and applications - ERRATUM	0
Automata and coalgebras in categories of species	0
Scott topology on Smyth power posets	0
The complexity of completions in partial combinatory algebra	0
Premonoidal and Kleisli double categories	0
T₀-spaces and the lower topology	0
Parameterized complexity of weighted team definability	0
The Kock–Mikkelsen factorisation	0
A domain-theoretic framework for robustness analysis of neural networks	0
Formalizing two-level type theory with cofibrant exo-nat	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
What should a generic object be?	0
Wb-sober spaces and the core-coherence of dcpo models	0
GADTs are not (Even partial) functors	0
A rewriting coherence theorem with applications in homotopy type theory	0
A general framework for the semantics of type theory	0
Normalization in the simply typed -calculus	0
A (machine-oriented) logic based on pattern matching	0
The category of iterative sets in homotopy type theory and univalent foundations	0
Synthetic G-jet-structures in modal homotopy type theory	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
Material dialogues for first-order logic in constructive type theory: extended version	0
A concrete model for a typed linear algebraic lambda calculus	0
New and improved bounds on the contextuality degree of multi-qubit configurations	0
Inquisitive split and structural completeness	0
Preface to Special Issue dedicated to LSFA 2021 and LSFA 2022	0
Rewriting in Gray categories with applications to coherence	0
Semantic analysis of normalisation by evaluation for typed lambda calculus	0
Day algebras	0
Countability constraints in order-theoretic approaches to computability	0
A set-theoretic approach to algebraic L-domains	0
The patch topology in univalent foundations	0