Maaike Zwart

According to our database, Maaike Zwart authored at least 8 papers between 2017 and 2025.

Collaborative distances:

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

2025

Modelling Recursion and Probabilistic Choice in Guarded Type Theory.

Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, Lars Birkedal

Proc. ACM Program. Lang., 2025

2024

Modelling Probabilistic FPC in Guarded Type Theory.

Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart, Alejandro Aguirre, Lars Birkedal

CoRR, 2024

What Monads Can and Cannot Do with a Bit of Extra Time.

Rasmus Ejlers Møgelberg, Maaike Zwart

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 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

2022

No-Go Theorems for Distributive Laws.

Maaike Zwart, Dan Marsden

Log. Methods Comput. Sci., 2022

2018

Don't Try This at Home: No-Go Theorems for Distributive Laws.

Maaike Zwart, Dan Marsden

CoRR, 2018

Quantitative Foundations for Resource Theories.

Dan Marsden, Maaike Zwart

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Double Dilation ≠ Double Mixing (extended abstract).

Maaike Zwart, Bob Coecke

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017