Accéder directement au contenu

Aliaume Lopez

11
Documents
Affiliations actuelles
  • 1065710
  • 1005016
Identifiants chercheurs

Publications

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

Aliaume Lopez , Alex Simpson
computer science logic, Jun 2023, Boston, France. pp.1-13, ⟨10.4230/LIPIcs.CSL.2018.29⟩
Communication dans un congrès hal-04360090v1
Image document

Fixed Points and Noetherian Topologies

Aliaume Lopez
FoSSaCS, Apr 2023, Paris, France. pp.456-476, ⟨10.1007/978-3-031-30829-1_22⟩
Communication dans un congrès hal-04284124v1

ℤ-polyregular functions

Thomas Colcombet , Gaëtan Douéneau-Tabot , Aliaume Lopez
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175685⟩
Communication dans un congrès hal-04284141v1
Image document

Z-polyregular functions

Thomas Colcombet , Gaëtan Douéneau-Tabot , Aliaume Lopez
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), IEEE, Jun 2023, Boston, United States. ⟨10.1109/LICS56636.2023.10175685⟩
Communication dans un congrès hal-04324059v1
Image document

Preservation Theorems Through the Lens of Topology

Aliaume Lopez
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), Jan 2021, Ljubljana, Slovenia. pp.32:1--32:17, ⟨10.4230/LIPIcs.CSL.2021.32⟩
Communication dans un congrès hal-03883987v1

Diagrammatic Semantics for Digital Circuits

Dan Ghica , Achim Jung , Aliaume Lopez
computer science logic, 2017, Dagstuhl, Germany. ⟨10.4230/LIPIcs.CSL.2017.24⟩
Communication dans un congrès hal-04360237v1

A Structural and Nominal Syntax for Diagrams

Dan Ghica , Aliaume Lopez
QPL, 2017, Nijmegen, Netherlands. pp.71-83, ⟨10.4204/EPTCS.266.4⟩
Communication dans un congrès hal-04360242v1
Image document

Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword Topology

Jean Goubault-Larrecq , Simon Halfon , Aliaume Lopez
Colloquium Mathematicum, 2023, 173 (2), pp.227-250. ⟨10.4064/cm8793-3-2023⟩
Article dans une revue hal-04283731v1
Image document

When Locality Meets Preservation

Aliaume Lopez
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, pp.1-14. ⟨10.1145/3531130.3532498⟩
Article dans une revue hal-03883990v1