5 citations · 8 across the 6 of their papers we have counts for
7 papers
Fixed Points and Noetherian Topologies
Aliaume Lopez
This paper provides a canonical construction of a Noetherian least fixed point topology. While such least fixed point are not Noetherian in general, we prove that under a mild assu…
Z-polyregular functions
Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez
This paper introduces a robust class of functions from finite words to integers that we call Z-polyregular functions. We show that it admits natural characterizations in terms of l…
When Locality Meets Preservation
Aliaume Lopez
This paper investigates the expressiveness of a fragment of first-order sentences in Gaifman normal form, namely the positive Boolean combinations of basic local sentences. We show…
Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology
Jean Goubault-Larrecq, Simon Halfon, Aliaume Lopez
We show that the spaces of transfinite words, namely ordinal-indexed words, over a Noetherian space, is also Noetherian, under a natural topology which we call the regular subword…
Preservation Theorems Through the Lens of Topology
Aliaume Lopez
In this paper, we introduce a family of topological spaces that captures the existence of preservation theorems. The structure of those spaces allows us to study the relativisation…
Diagrammatic Semantics for Digital Circuits
Dan R. Ghica, Achim Jung, Aliaume Lopez
We introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptua…
A Structural and Nominal Syntax for Diagrams
Dan R Ghica, Aliaume Lopez
The correspondence between monoidal categories and graphical languages of diagrams has been studied extensively, leading to applications in quantum computing and communication, sys…