Aloïs Rosset

According to our database, Aloïs Rosset authored at least 8 papers between 2021 and 2024.

Collaborative distances:

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

2024

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets.

Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis

CoRR, 2024

Correspondence Between Composite Theories and Distributive Laws.

Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis

Proceedings of the Coalgebraic Methods in Computer Science, 2024

2023

Graph rewriting and relabeling with PBPO⁺: A unifying theory for quasitoposes.

Roy Overbeek, Jörg Endrullis, Aloïs Rosset

J. Log. Algebraic Methods Program., June, 2023

Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting.

Aloïs Rosset, Roy Overbeek, Jörg Endrullis

CoRR, 2023

Fuzzy Presheaves are Quasitoposes.

Aloïs Rosset, Roy Overbeek, Jörg Endrullis

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes.

Roy Overbeek, Jörg Endrullis, Aloïs Rosset

CoRR, 2022

Algebraic Presentation of Semifree Monads.

Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021

Graph Rewriting and Relabeling with PBPO⁺.

Roy Overbeek, Jörg Endrullis, Aloïs Rosset

Proceedings of the Graph Transformation - 14th International Conference, 2021