Aloïs Rosset

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Fuzzy Membership Functions

Correspondence Matching

Distributive Lattices

Top Venues

J. Log. Algebraic Methods Program.

Publications

Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets. CoRR (2024)
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
Correspondence between Composite Theories and Distributive Laws. CoRR (2024)
Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
Correspondence Between Composite Theories and Distributive Laws. CMCS (2024)
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting. CoRR (2023)
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
Fuzzy Presheaves are Quasitoposes. ICGT (2023)
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
: A unifying theory for quasitoposes. J. Log. Algebraic Methods Program. 133 (2023)
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Algebraic Presentation of Semifree Monads. CMCS (2022)
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes. CoRR (2022)
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
Algebraic Presentation of Semifree Monads. CoRR (2022)
Roy Overbeek, Jörg Endrullis, Aloïs Rosset
. ICGT (2021)