research
∙
10/31/2022
Proceedings of the Fourth International Conference on Applied Category Theory
The Fourth International Conference on Applied Category Theory took plac...
share
research
∙
05/12/2022
On the Lambek embedding and the category of product-preserving presheaves
It is well-known that the category of presheaf functors is complete and ...
research
∙
04/27/2022
Proto-Quipper with dynamic lifting
Quipper is a functional programming language for quantum computing. Prot...
research
∙
04/27/2022
A biset-enriched categorical model for Proto-Quipper with dynamic lifting
Quipper and Proto-Quipper are a family of quantum programming languages ...
research
∙
05/17/2020
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for sho...
research
∙
04/28/2020