Maaike Zwart

Publication Activity (10 Years)

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

Top Topics

Underlying Assumptions

Distributive Lattices

Top Venues

Publications

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)
Rasmus Ejlers Møgelberg, Maaike Zwart
What Monads Can and Cannot Do with a Bit of Extra Time. CSL (2024)
Rasmus Ejlers Møgelberg, Maaike Zwart
What monads can and cannot do with a bit of extra time. CoRR (2023)
Maaike Zwart, Dan Marsden
No-Go Theorems for Distributive Laws. Log. Methods Comput. Sci. 18 (1) (2022)
Maaike Zwart, Dan Marsden
No-Go Theorems for Distributive Laws. CoRR (2020)
Maaike Zwart, Dan Marsden
No-Go Theorems for Distributive Laws. LICS (2019)
Maaike Zwart, Dan Marsden
Don't Try This at Home: No-Go Theorems for Distributive Laws. CoRR (2018)
Dan Marsden, Maaike Zwart
Quantitative Foundations for Resource Theories. CSL (2018)
Maaike Zwart, Bob Coecke
Double Dilation ≠ Double Mixing (extended abstract). QPL (2017)