Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Zwart, Maaike"'
Autor:
Stassen, Philipp Jan Andries, Møgelberg, Rasmus Ejlers, Zwart, Maaike, Aguirre, Alejandro, Birkedal, Lars
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 other programming languages inside type theory. It is well-known that it
Externí odkaz:
http://arxiv.org/abs/2408.04455
Composite theories are the algebraic equivalent of distributive laws. In this paper, we delve into the details of this correspondence and concretely show how to construct a composite theory from a distributive law and vice versa. Using term rewriting
Externí odkaz:
http://arxiv.org/abs/2404.00581
The delay monad provides a way to introduce general recursion in type theory. To write programs that use a wide range of computational effects directly in type theory, we need to combine the delay monad with the monads of these effects. Here we prese
Externí odkaz:
http://arxiv.org/abs/2311.15919
Autor:
Zwart, Maaike, Marsden, Dan
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (January 19, 2022) lmcs:6253
Monads are commonplace in computer science, and can be composed using Beck's distributive laws. Unfortunately, finding distributive laws can be extremely difficult and error-prone. The literature contains some general principles for constructing dist
Externí odkaz:
http://arxiv.org/abs/2003.12531
Autor:
Zwart, Maaike, Marsden, Dan
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. Unfortunately, finding and verifying distributive laws, or establishi
Externí odkaz:
http://arxiv.org/abs/1811.06460
Autor:
Zwart, Maaike, Coecke, Bob
Publikováno v:
EPTCS 266, 2018, pp. 133-146
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 of a 'doubled' two-system ket (i.e. dilation). Both constructions can b
Externí odkaz:
http://arxiv.org/abs/1803.00700
Autor:
Zwart, Maaike, Coecke, Bob
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 of a `doubled' two-system ket (i.e. dilation). Both constructions can b
Externí odkaz:
http://arxiv.org/abs/1704.02309
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Marsden, Dan, Zwart, Maaike
Considering resource usage is a powerful insight in the analysis of many phenomena in the sciences. Much of the current research on these resource theories focuses on the analysis of specific resources such quantum entanglement, purity, randomness or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::10f954a082ebe4374f148a066fa984c6
https://ora.ox.ac.uk/objects/uuid:ed499d6f-a295-4bbb-8171-553d39b525c6
https://ora.ox.ac.uk/objects/uuid:ed499d6f-a295-4bbb-8171-553d39b525c6