Aliaume Lopez
11
Documents
Affiliations actuelles
- 1065710
- 1005016
Identifiants chercheurs
- aliaume-lopez
- Arxiv : lopez_a_3
- 0000-0002-4205-327X
Publications
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particularcomputer science logic, Jun 2023, Boston, France. pp.1-13, ⟨10.4230/LIPIcs.CSL.2018.29⟩
Communication dans un congrès
hal-04360090v1
|
|
|
Fixed Points and Noetherian TopologiesFoSSaCS, Apr 2023, Paris, France. pp.456-476, ⟨10.1007/978-3-031-30829-1_22⟩
Communication dans un congrès
hal-04284124v1
|
ℤ-polyregular functions2023 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
|
|
|
Z-polyregular functions2023 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
|
|
Preservation Theorems Through the Lens of Topology29th 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 Circuitscomputer science logic, 2017, Dagstuhl, Germany. ⟨10.4230/LIPIcs.CSL.2017.24⟩
Communication dans un congrès
hal-04360237v1
|
|
A Structural and Nominal Syntax for DiagramsQPL, 2017, Nijmegen, Netherlands. pp.71-83, ⟨10.4204/EPTCS.266.4⟩
Communication dans un congrès
hal-04360242v1
|
|
Infinitary Noetherian Constructions II. Transfinite Words and the Regular Subword TopologyColloquium Mathematicum, 2023, 173 (2), pp.227-250. ⟨10.4064/cm8793-3-2023⟩
Article dans une revue
hal-04283731v1
|
|
When Locality Meets PreservationProceedings 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
|
|
First Order Preservation Theorems in Finite Model Theory : Locality, Topology, and Limit ConstructionsComputer Science [cs]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG046⟩
Thèse
tel-04534568v1
|
|
Z-polyregular functions2023
Pré-publication, Document de travail
hal-04097227v1
|