3 papers
cs.PL2024
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Philipp Jan Andries Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart +2
Constructive type theory combines logic and programming in one language. This is useful both for reasoning about programs written in type theory, as well as for reasoning about oth…
math.CT2018
Don't Try This at Home: No-Go Theorems for Distributive Laws
Maaike Zwart, Dan Marsden
Beck's distributive laws provide sufficient conditions under which two monads can be composed, and monads arising from distributive laws have many desirable theoretical properties.…
quant-ph2018
Double Dilation Double Mixing (extended abstract)
Maaike Zwart, Bob Coecke
Density operators are one of the key ingredients of quantum theory. They can be constructed in two ways: via a convex sum of 'doubled kets' (i.e. mixing), and by tracing out part o…