Mathematical Structures in Computer Science

Article	Citations
On notions of compactness, object classifiers, and weak Tarski universes	10
Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations – Part II	10
Hom weak ω-categories of a weak ω-category	9
Syntax and models of Cartesian cubical type theory	6
Preface for the special issue in homage to Martin Hofmann Part 2	6
Optimal approximate minimization of one-letter weighted finite automata	6
Game semantics of Martin-Löf type theory	5
Rewriting in Gray categories with applications to coherence	4
A point-free perspective on lax extensions and predicate liftings	4
Bicategories in univalent foundations	4
Languages of higher-dimensional automata	3
On function spaces equipped with Isbell topology and Scott topology	3
Preface: Advances in Homotopy Type Theory	3
An improved primal-dual approximation algorithm for the k-means problem with penalties	3
Preface for the special issue in homage to Martin Hofmann Part 1	3
Substitution Principle and semidirect products	3
A linear logic framework for multimodal logics	3
Automatic differentiation for ML-family languages: Correctness via logical relations	3
Normalization in the simply typed -calculus	3
Univalent categories of modules	2
T0-spaces and the lower topology	2
Wb-sober spaces and the core-coherence of dcpo models	2
E-Unification based on Generalized Embedding	2
Apartness, sharp elements, and the Scott topology of domains	2
Game characterizations for the number of quantifiers	2

The costructure–cosemantics adjunction for comodels for computational effects	2
Coherent differentiation	2
A construction of free dcpo-cones	2
A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part I	2
A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II	2
Preface	2
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability	1
Elementary fibrations of enriched groupoids	1
Universal algebra in UniMath	1
The category of iterative sets in homotopy type theory and univalent foundations	1
The combinator M and the Mockingbird lattice	1
Causal inference via string diagram surgery	1
Consistent disjunctive sequent calculi and Scott domains	1
A dual-context sequent calculus for the constructive modal logic S4	1
Witnessing flows in arithmetic	1
From type theory to setoids and back	1
Divergences on monads for relational program logics	1
Z property for the shuffling calculus	1
Dilations and information flow axioms in categorical probability	1
Synthetic G-jet-structures in modal homotopy type theory	1
New and improved bounds on the contextuality degree of multi-qubit configurations	1
You can only be lucky once: optimal gossip for epistemic goals	1
A concrete model for a typed linear algebraic lambda calculus	1
Constructive sheaf models of type theory	1
Naive cubical type theory	1
Learning quantum finite automata with queries	1
Discrete equational theories	1
Two decades of automatic amortized resource analysis	1
Monoidal reverse differential categories	1
The complexity of completions in partial combinatory algebra	1
Symmetric monoidal smash products in homotopy type theory	1
Elementary quantum recursion schemes that capture quantum polylogarithmic-time computability of quantum functions	1
Preface – MSCS	1
On generalized algebraic theories and categories with families	1
On reduction and normalization in the computational core	1
An intuitionistic set-theoretical model of fully dependent CC	1
Doctrines, modalities and comonads	1
Not every countable complete distributive lattice is sober	0
Bicategorical type theory: semantics and syntax	0
Weighted synchronous automata	0
Two-level type theory and applications - ERRATUM	0
Three improvements to the top-down solver	0
Coherence for bicategorical cartesian closed structure	0
Special issue on homotopy type theory 2019	0
The order-K-ification monads	0
Equational theorem proving for clauses over strings	0
A domain-theoretic framework for robustness analysis of neural networks	0
Two-stage submodular maximization problem beyond nonnegative and monotone	0
Martin Hofmann’s contributions to type theory: Groupoids and univalence	0
Rogers semilattices of punctual numberings	0

Scott topology on Smyth power posets	0
Smooth and proper maps with respect to a fibration	0
Up-to techniques for behavioural metrics via fibrations	0
A 2-categorical proof of Frobenius for fibrations defined from a generic point	0
Algebras of UTxO blockchains	0
Proof-relevance in Bishop-style constructive mathematics	0
The role of linearity in sharing analysis	0
Convolution and concurrency	0
Two-level type theory and applications	0
Finitary monads on the category of posets	0
Bisimulation as a logical relation	0
Preserving consistency in geometric modeling with graph transformations	0
Special issue on homotopy type theory 2019 vol. 2	0
Implicit computation complexity in higher-order programming languages	0
Robustness, Scott continuity, and computability	0
On Church’s thesis in cubical assemblies	0
Countability constraints in order-theoretic approaches to computability	0
Synthetic topology in Homotopy Type Theory for probabilistic programming	0
Behavioural equivalences for continuous-time Markov processes	0
What should a generic object be?	0
Abstract cyclic proofs	0
Constrained read-once refutations in UTVPI constraint systems: A parallel perspective	0
On existence of equilibrium under social coalition structures	0
Foreword	0
Foreword	0
Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding	0
An interpretation of dependent type theory in a model category of locally cartesian closed categories	0
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs	0
Probability, valuations, hyperspace: Three monads on top and the support as a morphism	0
Local Yoneda completions of quasi-metric spaces	0
Linear logic in normed cones: probabilistic coherence spaces and beyond	0
A general framework for the semantics of type theory	0
The geometry of Bayesian programming	0
Monoidal weak ω-categories as models of a type theory	0
On planarity of graphs in homotopy type theory	0
Some representations of real numbers using integer sequences	0
Preface to Special Issue: LSFA 2019 and 2020	0
A rewriting coherence theorem with applications in homotopy type theory	0
Cubical methods in homotopy type theory and univalent foundations	0
The Scott model of PCF in univalent type theory	0
Material dialogues for first-order logic in constructive type theory: extended version	0
Confluence of algebraic rewriting systems	0
A categorical view of varieties of ordered algebras	0
Separating minimal valuations, point-continuous valuations, and continuous valuations	0
Special issue on logic and complexity	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
CHAD for expressive total languages	0
An approximation algorithm for the -prize-collecting multicut problem in trees with submodular penalties	0
A linear linear lambda-calculus	0
Approximation Algorithm and FPT Algorithm for Connected-k-Subgraph Cover on Minor-Free Graphs	0
Hofmann-Mislove type definitions of non-Hausdorff spaces	0
Groupoidal realizability for intensional type theory	0
Visibility and exploitation in social networks	0
Parameterized complexity of weighted team definability	0
Synchronizing words and monoid factorization, yielding a new parameterized complexity class?	0
Fixed point logics and definable topological properties	0
On Petrie cycle and Petrie tour partitions of 3- and 4-regular plane graphs	0
Monotone recursive types and recursive data representations in Cedille	0
Metric monads	0
A set-theoretic approach to algebraic L-domains	0
Detection and diagnosis of deviations in distributed systems of autonomous agents	0
A quantitative model for simply typed λ-calculus	0
Introduction to the special issue: Confluence	0
On Hofmann–Streicher universes	0
Logical characterizations of algebraic circuit classes over integral domains	0
Type-based analysis of logarithmic amortised complexity	0
Preface to the special issue on metric and differential semantics	0
A foundation for synthetic algebraic geometry	0
A (machine-oriented) logic based on pattern matching	0
Computable soft separation axioms	0
Adding an implication to logics of perfect paradefinite algebras	0
Special Issue on Theory and Applications of Models of Computation TAMC 2022	0
Indexed and fibered structures for partial and total correctness assertions	0
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem	0
Quantum circuits generating four-qubit maximally entangled states	0
Weakest preconditions in fibrations	0
GADTs are not (Even partial) functors	0
Dimension in team semantics	0
String diagram rewrite theory II: Rewriting with symmetric monoidal structure	0

Implicational Kleene algebra with domain and the substructural logic of partial correctness	0
The long exact sequence of homotopy n-groups	0
Branching-time logics and fairness, revisited	0
String diagram rewrite theory III: Confluence with and without Frobenius	0