Mathematical Structures in Computer Science

Article	Citations
Preface: Advances in Homotopy Type Theory	15
Substitution Principle and semidirect products	10
A point-free perspective on lax extensions and predicate liftings	10
A construction of free dcpo-cones	8
Game semantics of Martin-Löf type theory	8
Automatic differentiation for ML-family languages: Correctness via logical relations	7
An axiomatics and a combinatorial model of creation/annihilation operators	7
On traces in categories of contractions	7
Variable polyadicity without events: a type-theoretic analysis of event semantics	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
Preface – MSCS	5
Principal types as partial involutions	5
Implicational Kleene algebra with domain and the substructural logic of partial correctness	4
Z property for the shuffling calculus	4
Exponentiable functors between synthetic $\boldsymbol{\infty}$ -categories	3
Weighted synchronous automata	3
A foundation for synthetic algebraic geometry	3
Foreword	3
Divergences on monads for relational program logics	3
Learning quantum finite automata with queries	3
Visibility and exploitation in social networks	3
On Hofmann–Streicher universes	3
Strong well-filteredness of upper topology on sup-complete posets	3
Preface to “Rosolini’s Festschrift: effectiveness and continuity in categorical logic”	3

Abstract cyclic proofs	3
A quantitative approach to global state composition	3
Groupoidal realizability for intensional type theory	3
Logical characterizations of algebraic circuit classes over integral domains	2
The Grothendieck construction in the context of tangent categories	2
Relative completeness of arithmetical numberings	2
Discrete Lawvere theories and monads	2
Computational synthetic cohomology theory in homotopy type theory	2
WoLLIC 2023 - 29th Workshop on Logic, Language, Information and Computation	2
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	2
Univalent categories of modules	2
Adding an implication to logics of perfect paradefinite algebras	2
Apartness, sharp elements, and the Scott topology of domains	2
Limits and colimits in synthetic $\infty$ -categories	2
From type theory to setoids and back	2
Special issue on logic and complexity	1
Two-level type theory and applications	1
Transformation of any Verbrugge model to a bisimilar Veltman model	1
Prior’s ideal language	1
On function spaces equipped with Isbell topology and Scott topology	1
Characterizations of $\omega$ -Rudin spaces via sequence convergence	1
On higher-order communication in ambient calculi	1
An approximation algorithm for the -prize-collecting multicut problem in trees with submodular penalties	1
Multivariate functorial difference	1
A bifinite domain based on closed circular rings	1
Mathematical structures in natural language semantics: Zawadowski’s contribution to linguistics	1
A classification of bisimilarities for general Markov decision processes	1
Preface to the special issue on metric and differential semantics	1
The order-K-ification monads	1
A short proof of the Frobenius property for generic fibrations	1
Robustness, Scott continuity, and computability	1
Indexed and fibered structures for partial and total correctness assertions	1
On notions of compactness, object classifiers, and weak Tarski universes	1
Constructing linear bicategories	1
CHAD for expressive total languages	1
Dilations and information flow axioms in categorical probability	0
Local Yoneda completions of quasi-metric spaces	0
Special issue on homotopy type theory 2019 vol. 2	0
Game characterizations for the number of quantifiers	0
A topological reading of coinductive predicates in dependent type theory	0
New and improved bounds on the contextuality degree of multi-qubit configurations	0
Monoidal reverse differential categories	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
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
Two-level type theory and applications - ERRATUM	0
You can only be lucky once: optimal gossip for epistemic goals	0
Bicategorical type theory: semantics and syntax	0
The set of maximal points of an $\boldsymbol{\omega}$ -domain need not be a $\boldsymbol{G}_{\boldsymbol{\delta}}$ -set	0

Day algebras	0
Effectiveness and continuity in intuitionistic quasi-toposes of assemblies	0
Fixed point logics and definable topological properties	0
Semiframes: the algebra of semitopologies and actionable coalitions	0
Formalizing two-level type theory with cofibrant exo-nat	0
Differentiable causal computations via delayed trace (extended version)	0
On planarity of graphs in homotopy type theory	0
Foreword	0
Formal p -category theory and normalization by evaluation in Rocq	0
Objective Mackey and Tambara functors via parametrized categories	0
Optimal approximate minimization of one-letter weighted finite automata	0
A dependently-typed calculus of event telicity and culminativity	0
The long exact sequence of homotopy n-groups	0
Detection and diagnosis of deviations in distributed systems of autonomous agents	0
Coherent differentiation	0
Equational theorem proving for clauses over strings	0
Witnessing flows in arithmetic	0
A general framework for the semantics of type theory	0
A linear linear lambda-calculus	0
Preface to Special Issue: LSFA 2019 and 2020	0
T0-spaces and the lower topology	0
sL-approximation spaces capture sL-domains	0
Foreword for the special issue “Differential Structures in Computer Science and Mathematics”	0
Coherent Taylor expansion as a bimonad	0
Two-layered logics for probabilities and belief functions over Belnap–Dunn logic	0
Scott topology on Smyth power posets	0
Approximation Algorithm and FPT Algorithm for Connected-k-Subgraph Cover on Minor-Free Graphs	0
Errata to “Isomorphism theorems between models of mixed choice,” fixes and consequences	0
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective	0
Inquisitive split and structural completeness	0
Not every countable complete distributive lattice is sober	0
The Kock–Mikkelsen factorisation	0
An left parenthesis normal infinity comma 0 right parenthesis 0
Displayed type theory and semi-simplicial types	0
Introduction to the special issue: Confluence	0
The complexity of completions in partial combinatory algebra	0
A domain-theoretic framework for robustness analysis of neural networks	0
Reflexive graph lenses in univalent foundations	0
Dimension in team semantics	0
Up-to techniques for behavioural metrics via fibrations	0
Non-Hausdorff parallelized manifolds over geometric models of conservative programs	0
Pseudolimits for tangent categories with applications to equivariant algebraic and differential geometry	0
Wb-sober spaces and the core-coherence of dcpo models	0
Controlling unfolding in type theory	0
Complexity of inversion of functions on the reals	0
A rewriting coherence theorem with applications in homotopy type theory	0
Automata and coalgebras in categories of species	0
The category of iterative sets in homotopy type theory and univalent foundations	0
A (machine-oriented) logic based on pattern matching	0
An intuitionistic set-theoretical model of fully dependent CC	0
What should a generic object be?	0
Congruence relations on domains	0
Material dialogues for first-order logic in constructive type theory: extended version	0
A linear logic framework for multimodal logics	0
Symmetric monoidal smash products in homotopy type theory	0
Special Issue on Theory and Applications of Models of Computation TAMC 2022	0
A concrete model for a typed linear algebraic lambda calculus	0
On reduction and normalization in the computational core	0
The patch topology in univalent foundations	0
Preface to Special Issue dedicated to LSFA 2021 and LSFA 2022	0
Premonoidal and Kleisli double categories	0
Parameterized complexity of weighted team definability	0
Paraconsistent transition structures: compositional principles and a modal logic	0
Toward the effective 2-topos	0
Categories for collection monads	0
Opetopes as zoom complexes and partial orders	0
From differential linear logic to coherent differentiation	0
Discrete equational theories	0
Countability constraints in order-theoretic approaches to computability	0
Smooth and proper maps with respect to a fibration	0
Universal algebra in UniMath	0
GADTs are not (Even partial) functors	0
Gentzen–Mints–Zucker duality	0
Categories of quantum cpos	0
Normalization in the simply typed -calculus	0
Behavioural equivalences for continuous-time Markov processes	0
Synthetic G-jet-structures in modal homotopy type theory	0
A parametricity-based formalization of semi-simplicial and semi-cubical sets	0
Computable soft separation axioms	0
A dual-context sequent calculus for the constructive modal logic S4	0

A 2-categorical proof of Frobenius for fibrations defined from a generic point

0