#### Filter Results:

- Full text PDF available (6)

#### Publication Year

2014

2018

- This year (1)
- Last 5 years (9)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Mathys Rennela, Sam Staton
- Electr. Notes Theor. Comput. Sci.
- 2018

We describe categorical models of a circuit-based (quantum) functional programming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., weâ€¦ (More)

- Mathys Rennela
- Electr. Notes Theor. Comput. Sci.
- 2014

We discuss how the theory of operator algebras, also called operator theory, can be applied in quantum computer science. From a computer scientist point of view, we explain some fundamental resultsâ€¦ (More)

- Mathys Rennela, Sam Staton
- ArXiv
- 2017

We describe categorical models of a circuit-based (quantum) functional pro- gramming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al.,â€¦ (More)

- Mathys Rennela
- ArXiv
- 2015

The general context In the following we discuss how the theory of operator algebras, also called operator theory, can be applied in quantum computer science. From a computer scientist point of view,â€¦ (More)

- Mathys Rennela, Sam Staton
- Electr. Notes Theor. Comput. Sci.
- 2015

The referenced article is about semantic models of quantum computation. In common with other approaches to programming language semantics [Win93], the general idea is to interpret a type A as a spaceâ€¦ (More)

- Iordanis Kerenidis, Mathieu LauriÃ¨re, FranÃ§ois Le Gall, Mathys Rennela
- Quantum Information & Computation
- 2016

In two-party quantum communication complexity, Alice and Bob receive some classical inputs and wish to compute some function that depends on both these inputs, while minimizing the communication.â€¦ (More)

- Mathys Rennela
- ArXiv
- 2016

In the present paper, Kegelspitzen, which can be seen dcpos associated with a compatible convex structure, will be shown to be models of the order-enriched Lawvere theory of subconvex sets and laterâ€¦ (More)

- Mathys Rennela, Sam Staton, Robert Furber
- QPL
- 2016

Citation for published version (APA): Rennela, M., Staton, S., & Furber, R. (2017). Infinite-dimensionality in quantum foundations: W-algebras as presheaves over matrix algebras. In R. Duncan, & C.â€¦ (More)

In two-party quantum communication complexity, Alice and Bob receive some classical inputs and wish to compute some function that depends on both these inputs, while minimizing the communication.â€¦ (More)

- â€¹
- 1
- â€º