Aloïs Rosset

11 papers B 2Journal 6Unranked 3

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets. CoRR Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2024	—	`conf`	Correspondence Between Composite Theories and Distributive Laws. CMCS Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
2024	J	`jnl`	Correspondence between Composite Theories and Distributive Laws. CoRR Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis
2023	—	`conf`	Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets. Tbilisi Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2023	J	`jnl`	Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting. CoRR Aloïs Rosset, Roy Overbeek, Jörg Endrullis
2023	B	`conf`	Fuzzy Presheaves are Quasitoposes. ICGT Aloïs Rosset, Roy Overbeek, Jörg Endrullis
2023	J	`jnl`	Graph rewriting and relabeling with PBPO J. Log. Algebraic Methods Program. Roy Overbeek, Jörg Endrullis, Aloïs Rosset
2022	—	`conf`	Algebraic Presentation of Semifree Monads. CMCS Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2022	J	`jnl`	Algebraic Presentation of Semifree Monads. CoRR Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis
2022	J	`jnl`	Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes. CoRR Roy Overbeek, Jörg Endrullis, Aloïs Rosset
2021	B	`conf`	Graph Rewriting and Relabeling with PBPO ICGT Roy Overbeek, Jörg Endrullis, Aloïs Rosset