Aliaume Lopez

According to our database, Aliaume Lopez authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Measuring well quasi-ordered finitary powersets.

Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard

CoRR, 2023

ℤ-polyregular functions.

Thomas Colcombet, Gaëtan Douéneau-Tabot, Aliaume Lopez

LICS, 2023

Fixed Points and Noetherian Topologies.

Aliaume Lopez

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

When Locality Meets Preservation.

Aliaume Lopez

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Preservation Theorems Through the Lens of Topology.

Aliaume Lopez

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2018

Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.

Aliaume Lopez, Alex Simpson

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

A structural and nominal syntax for diagrams.

Dan R. Ghica, Aliaume Lopez

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Diagrammatic Semantics for Digital Circuits.

Dan R. Ghica, Achim Jung, Aliaume Lopez

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017